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

Documents Related by Co-Citation

280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
88 Is there a use for linear logic? – Philip Wadler - 1991
31 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992
66 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
91 The linear abstract machine – Yves Lafont - 1988
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
55 Combining generational and conservative garbage collection: Framework and implementations – A Demmers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker - 1990
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
38 Tag-free garbage collection for strongly typed programming languages – Benjamin Goldberg - 1991
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
17 Collecting More Garbage – Pascal Fradet - 1994
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992
614 Light Linear Logic – Jean-yves Girard
105 Performance and Evaluation of Lisp Systems – Richard P. Gabriel - 1985
117 A method for overlapping and erasure of lists – G E Collins - 1960
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990