Simple Garbage-Collector-Safety (1996)

Cached

Download Links

by Hans-J. Boehm
Venue:In 1996 SIGPLAN Conference on Programming Language Design and Implementation
Citations:17 - 3 self

Documents Related by Co-Citation

295 Garbage Collection in an Uncooperative Environment – H Boehm, M Weiser - 1988
15 A Proposal for Garbage-Collector-Safe C Compilation – Hans-J. Boehm, David Chase - 1992
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
463 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1111 Proof-Carrying Code – George C. Necula - 1997