Proving Memory Management Invariants for a Language Based on Linear Logic (1992)

by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Venue:In LISP and Functional Programming