A region-based memory manager for Prolog (2000)

by Henning Makholm
Citations:14 - 3 self

Documents Related by Co-Citation

92 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
32 A Direct Approach to Control-Flow Sensitive Region-Based Memory Management – Fritz Henglein, Henning Makholm, Henning Niss - 2001
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
91 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik - 1996
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
15 Syntactic Type Soundness Results for the Region Calculus – Cristiano Calcagno, Simon Helsen, Peter Thiemann - 2001
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
9 On Enabling the WAM with Region Support – Henning Makholm, Konstantinos Sagonas - 2002
93 Language Support for Regions – David Gay, Alex Aiken - 2001
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
14 Region-Based Memory Management in Java – Morten V. Christiansen, Per Velschow - 1998
36 On Regions and Linear Types – David Walker, Kevin Watkins
54 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
12 Regional Analysis and a $\pi$-Calculus With Groups – Silvano Dal Zilio, Andrew D. Gordon - 2000
28 Region Analysis and the Polymorphic Lambda Calculus – Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
18 Syntactic Type Soundness for the Region Calculus – Simon Helsen, Peter Thiemann - 2000
4 A sound metalogical semantics for input/output – Roy Crole, Andrew Gordon - 1995