Staged Composition Synthesis
No abstract available.
Related papers
- Staged allocation: a compositional technique for specifying and implementing procedure calling conventions POPL 2006
- Safraless Compositional Synthesis CAV 2006
- Staged parser combinators for efficient data processing OOPSLA 2014
- RESY: Requirement Synthesis for Compositional Model Checking TACAS 2008
- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications TACAS 2009
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems CAV 2016
- Synthesis of Circular Compositional Program Proofs via Abduction TACAS 2013
- Multi-stage Relational Programming PLDI 2025