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

by Alain Deutsch
Venue:In Proceedings of the 17th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages