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