On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications (1990)

by Alain Deutsch
Venue:Proc. of the 17th ACM Symp. on POPL