On determining lifetime and aliasing of dynamically allocated data in higherorder functional specifications (1990)

by A Deutsch
Venue:In: Princ. of Prog. Lang