Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
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
141 Compiling with Proofs – George Ciprian Necula - 1998
271 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
290 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
177 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
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
196 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