On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-order Functional Specifications (1990)

by A Deutsch
Venue:In POPL. ACM