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

Cached

Download Links

by Hans-J. Boehm , David Chase
Citations:15 - 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
434 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
409 Garbage Collection: Algorithms for Automatic Dynamic Memory Management – Richard Jones, Rafael 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
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
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
1073 Java Virtual Machine Specification – T Lindholm, F Yellin - 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
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
129 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993