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

Cached

Download Links

by Jawahar Chirimar , Carl A. Gunter , Jon G. Riecke
Venue:In LISP and Functional Programming
Citations:23 - 2 self

Document Versions

Proving Memory Management Invariants for a Language Based on Linear Logic –Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke — 1992 — In LISP and Functional Programming