A Refinement of the Escape Property
No abstract available.
Related papers
- Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types PLDI 2026
- On Abstraction Refinement for Bayesian Program Analysis OOPSLA 2025
- Escape Analysis for Java OOPSLA 1999
- What If We Don't Pop the Stack? The Return of 2nd-Class Values ECOOP 2022
- Stack allocation and synchronization optimizations for Java using escape analysis TOPLAS 2003
- Finding optimum abstractions in parametric dataflow analysis PLDI 2013
- Relatively Complete Pushdown Analysis of Escape Continuations VMCAI 2019
- Efficiently Verifiable Escape Analysis ECOOP 2004