On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.

Alain Deutsch

Browse the full POPL paper archive.