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

by A Deutsch
Venue:In Proceedings of the AChI 17th Symposium on Principles of Programming Languages