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

Cached

Download Links

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

Documents Related by Co-Citation

94 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
294 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
179 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
39 On Regions and Linear Types – David Walker, Kevin Watkins
374 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
93 Language Support for Regions – David Gay, Alex Aiken - 2001
345 Cyclone: A safe dialect of C – Trevor Jim, Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney, Yanling Wang
99 Ownership Types for Safe Region-Based Memory Management in Real-Time Java – Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., Martin Rinard - 2003