Proving Memory Management Invariants for Language Based on Linear Logic

Proving Memory Management Invariants for Language Based on Linear Logic
Jawahar Chirimar, Carl A. Gunter and Jon G. Riecke
ACM Conference on Lisp and Functional Programming (LFP ’92), pages 139-150, San Francisco, CA, June 1992.

Last updated on Thursday, June 26, 2014, 12:46 pm