Escape Analysis: Correctness Proof, Implementation and Experimental Results.

Bruno Blanchet

Browse the full POPL paper archive.