A Proposal for Garbage-Collector-Safe C Compilation (1992)

Cached

Download Links

by Hans-J. Boehm , David Chase
Citations:14 - 1 self

Documents Related by Co-Citation

289 Garbage collection in an uncooperative environment – H-J Boehm, M Weiser - 1988
15 Simple Garbage-Collector-Safety – Hans-J. Boehm - 1996
64 Mostly-copying garbage collection picks up generations and C – Joel F. Bartlett - 1989
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
410 Garbage Collection: Algorithms for Automatic Dynamic Memory Management – R Jones, R Lins - 1996
113 Compacting Garbage Collection with Ambiguous Roots – Joel F. Bartlett - 1988
17 A Copying Collector for C++ – Daniel Edelson, Ira Pohl - 1991
79 The Measured Cost of Conservative Garbage Collection – Benjamin Zorn - 1993
55 Combining generational and conservative garbage collection: Framework and implementations – A Demmers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker - 1990
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