A General Modular Synthesis Problem for Pushdown Systems
Abstract elided by the publisher.
Related papers
- Optimal Predicate Pushdown Synthesis PLDI 2026
- Modular Synthesis of Sketches Using Models VMCAI 2014
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Android Stack Machine CAV 2018
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Pushdown flow analysis with abstract garbage collection JFP 2014
- Modular Component-Based Quantum Circuit Synthesis OOPSLA 2023