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

Cached

Download Links

by Fritz Henglein , Henning Makholm , Henning Niss
Citations:32 - 2 self

Active Bibliography

region-based – Fritz Henglein, Henning Makholm, Henning Niss
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
2 On Regions and Linear Types (Extended Abstract) – David Walker, Kevin Watkins - 2001
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
Effect Types and Region-based Memory Management – Benjamin C. Pierce, Fritz Henglein, Henning Makholm, Henning Niss, Fritz Henglein, Henning Makholm, Henning Niss
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
12 Regional Analysis and a $\pi$-Calculus With Groups – Silvano Dal Zilio, Andrew D. Gordon - 2000
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
54 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
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
and – Mads Tofte, Jean-pierre Talpin
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
93 Language Support for Regions – David Gay, Alex Aiken - 2001
8 A Generic Type-and-Effect System – Daniel Marino, Todd Millstein