Simple Garbage-Collector-Safety (1996)

Cached

Download Links

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

Documents Related by Co-Citation

289 Garbage collection in an uncooperative environment – H-J Boehm, M Weiser - 1988
14 A Proposal for Garbage-Collector-Safe C Compilation – Hans-J. Boehm, David Chase - 1992
113 Compacting Garbage Collection with Ambiguous Roots – Joel F. Bartlett - 1988
64 Mostly-copying garbage collection picks up generations and C – Joel F. Bartlett - 1989
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
16 Type Structure for Low-Level Programming Languages – Karl Crary, Greg Morrisett - 1999
25 Trustless grid computing in ConCert – Bor-yuh Evan Chang, Karl Crary, Margaret Delap, Robert Harper, Jason Liszka, Tom Murphy Vii, Frank Pfenning - 2002
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
155 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
31 Flow-Directed Closure Conversion for Typed Languages – Henry Cejtin, Suresh Jagannathan, Stephen Weeks - 2000
38 Tag-free garbage collection for strongly typed programming languages – Benjamin Goldberg - 1991
13 Destructors, Finalizers, and Synchronization – Hans-J Boehm - 2003
31 A garbage collector for C and C++. http: //www.hpl.hp.com/personal/Hans_Boehm/gc – H-J Boehm
19 efficient garbage collection for C – Safe - 1993