A Direct Approach to Control-Flow Sensitive Region-Based Memory Management (2001)

Cached

Download Links

by Fritz Henglein , Henning Makholm , Henning Niss
Citations:31 - 1 self

Documents Related by Co-Citation

89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
170 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
36 On Regions and Linear Types – David Walker, Kevin Watkins
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
91 Language Support for Regions – David Gay, Alex Aiken - 2001
360 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
135 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
91 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003
48 Type-Preserving Garbage Collectors – Daniel C. Wang, Andrew W. Appel - 2001
14 A region-based memory manager for Prolog – Henning Makholm - 2000
57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
15 Programming with regions in the ML Kit (for version 4 – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld, Olesen Peter Sestoft - 2001
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
154 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
121 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
317 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
234 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988