Escape analysis: correctness proof, implementation and experimental results (1998)

by B Blanchet
Venue:POPL 1998: Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages