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