Syntax-guided synthesis with quantitative syntactic objectives
From MaRDI portal
Publication:6045014
Recommendations
- Syntax-guided quantifier instantiation
- Special issue on syntax-guided synthesis preface
- Scalable algorithms for abduction via enumerative syntax-guided synthesis
- scientific article; zbMATH DE number 3307576
- A syntactic view of computational adequacy
- Counterexample-guided quantifier instantiation for synthesis in SMT
- Syntax-guided synthesis for lemma generation in hardware model checking
Cited in
(10)- Synthesis with asymptotic resource bounds
- Overfitting in synthesis: theory and practice
- Programmable program synthesis
- Synthesized and inherited functions. A new computational model for syntax-directed semantics
- Optimizing synthesis with metasketches
- Scaling enumerative program synthesis via divide and conquer
- Program synthesis with best-first bottom-up search
- Neural network-guided synthesis of recursive list functions
- Quantitative program sketching using lifted static analysis
- Proving unrealizability for syntax-guided synthesis
This page was built for publication: Syntax-guided synthesis with quantitative syntactic objectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6045014)