Documents Related by Co-Citation

281 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
363 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
1111 Proof-Carrying Code – George C. Necula - 1997
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
90 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin