"Uniqueness inference for compile-time object deallocation."

Sigmund Cherem, Radu Rugina (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics