|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
10
|
A Retrospective on Region-Based Memory Management
– Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg
- 2004
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
49
|
Typed Memory Management via Static Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
40
|
Combining Region Inference and Garbage Collection
– Niels Hallenberg, Martin Elsman, Mads Tofte
- 2002
|
|
10
|
Unification and Polymorphism in Region Inference
– Mads Tofte, Lars Birkedal
- 1996
|
|
22
|
Stratified Operational Semantics for Safety and Correctness of The Region Calculus
– Cristiano Calcagno
- 2001
|
|
31
|
A Direct Approach to Control-Flow Sensitive Region-Based Memory Management
– Fritz Henglein, Henning Makholm, Henning Niss
- 2001
|
|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
1
|
Semantic Orthogonality of Type Disciplines
– Jon G. Riecke, Ramesh Subrahmanyam
- 1997
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
|
15
|
Syntactic Type Soundness Results for the Region Calculus
– Cristiano Calcagno, Simon Helsen, Peter Thiemann
- 2001
|
|
4
|
Polymorphic Specialization for ML
– Simon Helsen, Peter Thiemann
- 2002
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
13
|
A Relational Account of Call-by-Value Sequentiality
– Anders B. Sandholm, Jon G. Riecke
- 1999
|
|
|
Region-Based Memory Management for a Dynamically-Typed Language
– Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
|
|
|
SAFECODE: A PLATFORM FOR DEVELOPING RELIABLE SOFTWARE IN UNSAFE LANGUAGES BY
– Dinakar Dhurjati
|
