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

1097 Proof-Carrying Code – George C. Necula - 1997
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
141 Compiling with Proofs – George Ciprian Necula - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
271 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
179 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
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
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
352 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
177 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
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