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

Active Bibliography

14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
2 Bisimilarity for the region calculus – Simon Helsen
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 On Regions and Linear Types (Extended Abstract) – David Walker, Kevin Watkins - 2001
121 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
11 Regional Analysis and a $\pi$-Calculus With Groups – Silvano Dal Zilio, Andrew D. Gordon - 2000
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
53 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
28 Region Analysis and the Polymorphic Lambda Calculus – Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
Region-Based Memory Management for a Dynamically-Typed Language – Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
91 Language Support for Regions – David Gay, Alex Aiken - 2001
17 Monadic Regions – Matthew Fluet, et al. - 2004
8 A Generic Type-and-Effect System – Daniel Marino, Todd Millstein
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998