Efficiently Verifiable Escape Analysis.

Matthew Q. Beers, Christian H. Stork, Michael Franz

Browse the full ECOOP paper archive.