Escape Analysis: Correctness Proof, Implementation and Experimental Results (1998)

by Bruno Blanchet
Venue:In 25th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'98