A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.

Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl

Browse the full AINA paper archive.