Relatively Complete Pushdown Analysis of Escape Continuations
Abstract elided by the publisher.
Related papers
- Reachability in Continuous Pushdown VASS POPL 2024
- Compositional Pointer and Escape Analysis for Java Programs OOPSLA 1999
- On the Complexity of Escape Analysis POPL 1997
- Optimal Predicate Pushdown Synthesis PLDI 2026
- Pushdown control-flow analysis for free POPL 2016
- Dynamic Wind for OCaml Effect Handlers with Escaping Continuation Support SLE 2026
- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap ESOP 2020
- Reachability Analysis of the Domain Name System POPL 2025