Component-based synthesis for complex APIs

DOI10.1145/3009837.3009851MaRDI QIDQ5370893zbMATH OpenOpenAlexFDO

Authors Yu Feng, Ruben Martins, Isil Dillig, Yue-Peng Wang, Thomas Reps

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3009837.3009851

zbMATH Keywords

component-basedPetri netprogram synthesistype-directed

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Look for the proof to find the program: decorated-component-based program synthesis
• Program synthesis using dual interpretation
• From program verification to program synthesis
• Counterexample guided inductive synthesis modulo theories
• Synthesizing imperative programs from examples guided by static analysis

Cited in

(13)

• Look for the proof to find the program: decorated-component-based program synthesis
• Directed reachability for infinite-state systems
• Programming by predicates: a formal model for interactive synthesis
• SyPet
• scientific article; zbMATH DE number 5129039 (Why is no real title available?)
• Program synthesis using dual interpretation
• Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
• Long-Run Average Behavior of Vector Addition Systems with States
• Separators in Continuous Petri Nets
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• Synthesising programs with non-trivial constants
• Bootstrapping library-based synthesis
• Separators in continuous Petri nets

Describes a project that uses

Uses Software

• Sat4j
• Soot
• halp
• CodeHint
• PARSEWeb
• XSnippet
• Denali
• JSketch

This page was built for publication: Component-based synthesis for complex APIs

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