Documents Related by Co-Citation

1090 Proof-Carrying Code – George C. Necula - 1997
587 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1073 Java Virtual Machine Specification – T Lindholm, F 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
138 Compiling with Proofs – George Ciprian Necula - 1998
269 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
288 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
176 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
289 Garbage collection in an uncooperative environment – H-J Boehm, M Weiser - 1988
169 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
398 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
129 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
291 Abstract types have existential type – J C Mitchell, G D Plotkin - 1988
194 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992