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

Alain Deutsch On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications. 157-168 1990 POPL db/conf/popl/popl90.html#Deutsch90