Abstraction-based interaction model for synthesis

DOI10.1007/978-3-319-73721-8_18zbMATH Open1446.68034OpenAlexW2778214624MaRDI QIDQ3296340FDOQ3296340

Authors: Hila Peleg, Shachar Itzhaky, Sharon Shoham 

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_18

Recommendations

• Programming by predicates: a formal model for interactive synthesis
• Synthesis with abstract examples
• Example-directed synthesis: a type-theoretic interpretation
• Programmable program synthesis
• From program verification to program synthesis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (9)

• Modular synthesis of sketches using models
• Programmable program synthesis
• Learning abstractions for program synthesis
• Concise read-only specifications for better synthesis of programs with pointers
• Synthesis with abstract examples
• Example-directed synthesis: a type-theoretic interpretation
• Maximal specification synthesis
• Program synthesis for interactive-security systems
• Programming by predicates: a formal model for interactive synthesis

This page was built for publication: Abstraction-based interaction model for synthesis

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