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

Active Bibliography

34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
10 Dynamic Slicing In Higher-Order Programming Languages – Sandip K. Biswas, Carl A. Gunter, Insup Lee - 1997
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
22 Observers for Linear Types – Martin Odersky - 1992
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
28 Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus – John Maraist, Martin Odersky, David N. Turner, Philip Wadler - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
135 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
24 Linear Logic – Patrick Lincoln - 1992
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991