Documents Related by Co-Citation

280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
361 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
89 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
136 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
170 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
171 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
91 Language Support for Regions – David Gay, Alex Aiken - 2001
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
210 Dynamic storage allocation: A survey and critical review – Paul R. Wilson, Mark S. Johnstone, Michael Neely, David Boles - 1995
1096 Proof-Carrying Code – George C. Necula - 1997
157 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
542 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
97 List processing in real-time on a serial computer – H G Baker - 1978
1076 The Java Virtual Machine Specification – T Lindholm, F Yellin - 1996
23 The AED free storage package – D T Ross - 1967
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
540 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999