|
266
|
Garbage Collection in an Uncooperative Environment
– H-J Boehm, M Weiser
- 1988
|
|
13
|
Simple Garbage-Collector-Safety
– Hans-J. Boehm
- 1996
|
|
57
|
Mostly-copying garbage collection picks up generations and C
– Joel F. Bartlett
- 1989
|
|
416
|
Uniprocessor Garbage Collection Techniques
– Paul R. Wilson
|
|
368
|
Garbage Collection: Algorithms for Automatic Dynamic Memory Managem ent.John Wiley&Sons,Ltd,1996
– R E Jones
|
|
98
|
Compacting Garbage Collection with Ambiguous Roots
– Joel F. Bartlett
- 1988
|
|
16
|
A Copying Collector for C++
– Daniel Edelson, Ira Pohl
- 1991
|
|
76
|
The Measured Cost of Conservative Garbage Collection
– Benjamin Zorn
- 1993
|
|
51
|
Combining generational and conservative garbage collection: framework and implementations
– A Demers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker
- 1990
|
|
16
|
Type Structure for Low-Level Programming Languages
– Karl Crary, Greg Morrisett
- 1999
|
|
30
|
Flow-Directed Closure Conversion for Typed Languages
– Henry Cejtin, Suresh Jagannathan, Stephen Weeks
- 2000
|
|
25
|
Trustless grid computing in ConCert
– Bor-yuh Evan Chang, Karl Crary, Margaret Delap, Robert Harper, Jason Liszka, Tom Murphy Vii, Frank Pfenning
- 2002
|
|
143
|
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
|
|
84
|
A syntactic approach to foundational proof-carrying code
– Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
- 2002
|
|
120
|
A Certifying Compiler for Java
– Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
- 2000
|
|
122
|
A semantic model of types and machine instructions for proof-carrying code
– Amy P. Felty
|
|
1023
|
Yellin F. Java Virtual Machine Specification
– T Lindholm
- 1999
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
