|
1
|
An Equational Theory for a Region Calculus
– Simon Helsen
- 2002
|
|
2
|
Bisimilarity for the region calculus
– Simon Helsen
|
|
|
Region-Based Memory Management for a Dynamically-Typed Language
– Akihito Nagata, Naoki Kobayashi, Akinori Yonezawa
|
|
40
|
Combining Region Inference and Garbage Collection
– Niels Hallenberg, Martin Elsman, Mads Tofte
- 2002
|
|
54
|
SafeJava: A Unified Type System for Safe Programming
– Chandrasekhar Boyapati
- 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
|
|
28
|
Region Analysis and the Polymorphic Lambda Calculus
– Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
164
|
Region-Based Memory Management in Cyclone
– Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
- 2002
|
|
17
|
Memory safety without garbage collection for embedded applications
– Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
- 2005
|
|
39
|
Memory Safety Without Runtime Checks or Garbage Collection
– Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, Chris Lattner
- 2003
|
|
26
|
Experience with safe manual memory-management in cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2004
|
|
|
Ownership Types for Safe Region-Based . . .
– Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Jr., Martin Rinard
- 2003
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
|
Conditional correlation analysis for safe region-based memory management
– Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang
- 2008
|
|
|
Memory Management with Use-Counted Regions
– Tachio Terauchi Alex, Tachio Terauchi, Alex Aiken, Alex Aiken
- 2004
|
|
2
|
Memory management with use-counted regions
– Tachio Terauchi, Alex Aiken, Tachio Terauchi, Alex Aiken
- 2004
|
|
14
|
Safe and flexible memory management in Cyclone
– Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim
- 2003
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
