Lifetime Analysis of Dynamically Allocated Objects.

Cristina Ruggieri, Thomas P. Murtagh

Browse the full POPL paper archive.