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
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
31 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992
92 The linear abstract machine – Yves Lafont - 1988
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
69 Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) – Erik Barendsen, Sjaak Smetsers - 1993
17 Collecting More Garbage – Pascal Fradet - 1994
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 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
92 Lively Linear Lisp - 'Look Ma, No Garbage!' – Henry G. Baker - 1992
616 Light Linear Logic – Jean-yves Girard
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
8 Methods of garbage collection for Algol-68 – P Wodon - 1970
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993