|
89
|
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages
– Alexander Aiken, Manuel Fähndrich, Raph Levien
- 1995
|
|
268
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
31
|
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management
– Fritz Henglein, Henning Makholm, Henning Niss
- 2001
|
|
163
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
86
|
From Region Inference to von Neumann Machines via Region Representation Inference
– Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik
- 1996
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
15
|
Syntactic Type Soundness Results for the Region Calculus
– Cristiano Calcagno, Simon Helsen, Peter Thiemann
- 2001
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
|
9
|
On Enabling the WAM with Region Support
– Henning Makholm, Konstantinos Sagonas
- 2002
|
|
85
|
Language Support for Regions
– David Gay, Alex Aiken
- 2001
|
|
49
|
Typed Memory Management via Static Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
11
|
Regional Analysis and a $\pi$-Calculus With Groups
– Silvano Dal Zilio, Andrew D. Gordon
- 2000
|
|
10
|
Unification and Polymorphism in Region Inference
– Mads Tofte, Lars Birkedal
- 1996
|
|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
13
|
Region-Based Memory Management in Java
– Morten V. Christiansen, Per Velschow
- 1998
|
|
18
|
Syntactic Type Soundness for the Region Calculus
– Simon Helsen, Peter Thiemann
- 2000
|
|
32
|
On Regions and Linear Types
– David Walker, Kevin Watkins
|
|
24
|
Inferring the Equivalence of Functional Programs that Mutate Data
– Ian Mason, Carolyn Talcott
- 1992
|
