A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns

Bibtex entry :

@inproceedings { ghr-ubisafe-07,
    author = { G. Grimaud and Y. Hodique and I. Simplot-Ryl },
    title = { A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns },
    booktitle = { The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07) },
    year = { 2007 },
}