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