Documents Related by Co-Citation

1016 Proof-Carrying Code – George C. Necula - 1997
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1023 Yellin F. Java Virtual Machine Specification – T Lindholm - 1999
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
128 Compiling with Proofs – George Ciprian Necula - 1998
245 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
122 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
86 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
272 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
146 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
170 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
266 Garbage Collection in an Uncooperative Environment – H-J Boehm, M Weiser - 1988
162 Eliminating Array Bound Checking Through Dependent Types – Hongwei Xi, Frank Pfennig - 1998
381 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
120 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
267 G.D.: Abstract types have existential types – J C Mitchell, Plotkin - 1988
186 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
490 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992