Region-Based Memory Management (1997)

Cached

Download Links

by Mads Tofte , Jean-Pierre Talpin
Citations:282 - 8 self

Documents Related by Co-Citation

196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
93 Language Support for Regions – David Gay, Alex Aiken - 2001
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
92 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991
1097 Proof-Carrying Code – George C. Necula - 1997
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
24 The AED free storage package – D T Ross - 1967
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
131 On the syntactic control of interference – J Reynolds - 1978
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
77 Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming – John Hughes, Lars Pareto - 1999
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
154 Static Detection of Dynamic Memory Errors – David Evans - 1996
51 Fast allocation and deallocation of memory based on object life times – David R Hanson - 1990