Efficiently Verifiable Escape Analysis

Bibtex entry :

@inproceedings { ecoop04,
    author = { Matthew Q. Beers and Christian H. Stork and Michael Franz },
    title = { Efficiently Verifiable Escape Analysis },
    booktitle = { ECOOP 2004, LNCS 3086 },
    pages = { 75--95 },
    year = { 2004 },
    editor = { M. Odersky },
    address = { Oslo },
    publisher = { Springer-Verlag },
}