Alain Deutsch
On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications
POPL, 1990.
@inproceedings{POPL-1990-Deutsch,
author = "Alain Deutsch",
booktitle = "{Conference Record of the 17th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/96709.96725",
editor = "Frances E. Allen",
isbn = "0-89791-343-4",
pages = "157--168",
publisher = "{ACM Press}",
title = "{On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications}",
year = 1990,
}