Efficiently Verifiable Escape Analysis. - Matthew Q. Beers; Christian H. Stork; Michael Franz (ECOOP, 2004)