A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version)

Bibtex entry :

@article { ghr-rr5937-06,
    author = { G. Grimaud and Y. Hodique and I. Simplot-Ryl },
    title = { A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version) },
    year = { 2006 },
    url = { http://hal.inria.fr/docs/00/08/14/28/PDF/RR-5937.pdf },
}