Region-Based Memory Management

This publication has 16 references indexed in Scilit:

• From region inference to von Neumann machines via region representation inference
  1996
• Better static memory management
  1995
• Algebraic reconstruction of types and effects
  1991
• Unify and conquer
  1990
• Analysis of functional programs to detect run-time garbage cells
  ACM Transactions on Programming Languages and Systems, 1988
• A semantic model of reference counting and its abstraction (detailed summary)
  1986
• Transformations and reduction strategies for typed lambda expressions
  ACM Transactions on Programming Languages and Systems, 1984
• A real-time garbage collector based on the lifetimes of objects
  Communications of the ACM, 1983
• List processing in real time on a serial computer
  Communications of the ACM, 1978
• Recursive Programming
  Numerische Mathematik, 1960