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

by Bruno Blanchet
Venue:In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages