Syntax-guided synthesis with quantitative syntactic objectives
From MaRDI portal
Publication:6045014
DOI10.1007/978-3-319-96145-3_21zbMATH Open1511.68079OpenAlexW2884889320MaRDI QIDQ6045014FDOQ6045014
Authors: Qinheping Hu, Loris D'Antoni 
Publication date: 26 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-96145-3_21
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)
