Efficient Representation and Validation of Proofs (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:60 - 7 self

Documents Related by Co-Citation

1096 Proof-Carrying Code – George C. Necula - 1997
697 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
138 Compiling with Proofs – George Ciprian Necula - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
398 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
268 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
57 A framework for de logics – H Harper, F Honsell, G Plotkin - 1993
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
685 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
1076 The Java Virtual Machine Specification – T Lindholm, F Yellin - 1996
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
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
349 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
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
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000