Lazy but effective functional synthesis

DOI10.1007/978-3-030-11245-5_5MaRDI QIDQ2287072zbMATH OpenOpenAlexFDO

Authors Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta

Publication date 23 January 2020

Full work available at URL https://doi.org/10.1007/978-3-030-11245-5_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lazy synthesis
• Boolean functional synthesis: hardness and practical algorithms
• What's hard about Boolean functional synthesis?
• Towards Parallel Boolean Functional Synthesis
• From program verification to program synthesis

Cited in

(2)

• Relational synthesis for pattern matching
• Boolean functional synthesis: hardness and practical algorithms

This page was built for publication: Lazy but effective functional synthesis

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