Proving memory management invariants for a language based on linear logic (1992)

by Jawahar Chirimar, Carl A Gunter, Jon G Riecke
Venue:In Proceedings of the ACM Conference on Lisp and Functional Programming (LFP