Efficiently Verifiable Escape Analysis
No abstract available.
Related papers
- Escape Analysis for Java OOPSLA 1999
- Escape Analysis: Correctness Proof, Implementation and Experimental Results POPL 1998
- A Type-Based Escape Analysis for Functional Languages JFP 1998
- Stack allocation and synchronization optimizations for Java using escape analysis TOPLAS 2003
- Relatively Complete Pushdown Analysis of Escape Continuations VMCAI 2019
- Fast Escape Analysis and Stack Allocation for Object-Based Programs CC 2000
- Partial Escape Analysis and Scalar Replacement for Java CGO 2014
- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries CC 2007