|
268
|
Region-Based Memory Management
– Mads Tofte, Jean-Pierre Talpin
- 1997
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
18
|
Syntactic Type Soundness for the Region Calculus
– Simon Helsen, Peter Thiemann
- 2000
|
|
86
|
From Region Inference to von Neumann Machines via Region Representation Inference
– Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik
- 1996
|
|
89
|
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages
– Alexander Aiken, Manuel Fähndrich, Raph Levien
- 1995
|
|
15
|
Syntactic Type Soundness Results for the Region Calculus
– Cristiano Calcagno, Simon Helsen, Peter Thiemann
- 2001
|
|
72
|
Integrating functional and imperative programming
– D K Gifford, J M Lucassen
- 1986
|
|
22
|
Stratified Operational Semantics for Safety and Correctness of The Region Calculus
– Cristiano Calcagno
- 2001
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
51
|
Implementation of the typed call-by-value -calculus using a stack of regions
– Mads Tofte, Jean-Pierre Talpin
- 1994
|
|
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
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
|
9
|
A Constraint-Based Region Inference Algorithm
– Lars Birkedal, Mads Tofte
- 1999
|
|
23
|
Polymorphic type, region and e#ect inference
– Jean-Pierre Talpin, Pierre Jouvelot
- 1992
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
163
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
32
|
On Regions and Linear Types
– David Walker, Kevin Watkins
|
