Abstraction-based interaction model for synthesis

DOI10.1007/978-3-319-73721-8_18MaRDI QIDQ3296340zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

• Program synthesis for interactive-security systems
• Synthesis with abstract examples
• Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
• Programming by predicates: a formal model for interactive synthesis
• Maximal specification synthesis
• Example-directed synthesis: a type-theoretic interpretation
• Modular synthesis of sketches using models
• Concise read-only specifications for better synthesis of programs with pointers
• Learning abstractions for program synthesis
• Programmable program 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)