On the analysis of interacting pushdown systems
No abstract available.
Related papers
- Android Stack Machine CAV 2018
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis SAS 2003
- Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification CAV 2010
- Introspective pushdown analysis of higher-order programs ICFP 2012
- Pushdown flow analysis with abstract garbage collection JFP 2014
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Relatively Complete Pushdown Analysis of Escape Continuations VMCAI 2019
- Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks CAV 2001