Programmable program synthesis

DOI10.1007/978-3-030-81685-8_4MaRDI QIDQ832155zbMATH OpenOpenAlexFDO

Authors Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas Reps

Publication date 25 March 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-81685-8_4

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Grammars and rewriting systems (68Q42)

Recommendations

• From program verification to program synthesis
• scientific article; zbMATH DE number 1926611
• Syntax-guided synthesis with quantitative syntactic objectives
• Programming by predicates: a formal model for interactive synthesis
• Abstraction-based interaction model for synthesis

Cites work

• scientific article; zbMATH DE number 3470007 (Why is no real title available?)
• Counterexample-guided quantifier instantiation for synthesis in SMT
• SMT-based model checking for recursive programs
• Scaling enumerative program synthesis via divide and conquer
• Syntax-guided synthesis with quantitative syntactic objectives
• Synthesis with asymptotic resource bounds

Cited in

(21)

• Bootstrapping library-based synthesis
• Preface for the SYNT
• Toward neural-network-guided program synthesis and verification
• Learning abstractions for program synthesis
• Program synthesis for interactive-security systems
• scientific article; zbMATH DE number 3960972 (Why is no real title available?)
• Program boosting: program synthesis via crowd-sourcing
• scientific article; zbMATH DE number 2084338 (Why is no real title available?)
• Using program synthesis for program analysis
• Self-generating program specializers
• Program synthesis using realizability
• Synthesis of the programmed functions offor loops on data structures
• scientific article; zbMATH DE number 815884 (Why is no real title available?)
• Program synthesis using dual interpretation
• Efficient synthesis with probabilistic constraints
• Concise read-only specifications for better synthesis of programs with pointers
• scientific article; zbMATH DE number 1926611 (Why is no real title available?)
• Abstraction-based interaction model for synthesis
• Optimizing synthesis with metasketches
• scientific article; zbMATH DE number 980418 (Why is no real title available?)
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)

Describes a project that uses

Uses Software

• LLVM
• Spacer
• Qlose
• YACC
• Rosette
• FlashMeta
• GitHub

This page was built for publication: Programmable program synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832155)