Foundational Proof Checkers with Small Witnesses (2003)

by Dinghao Wu , Andrew W. Appel , Aaron Stump
Citations:24 - 6 self

Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002
87 Toward a Foundational Typed Assembly Language – Karl Crary - 2002
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
229 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
20 Formalizing a JVML verifier for initialization in a theorem prover – Yves Bertot, Inria Sophia Antipolis - 2001
45 Extracting a Data Flow Analyser in Constructive Logic – David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu - 2004
151 The view from the left – Conor McBride, James McKinna
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
17 Verified lightweight bytecode verification. Concurrency and Computation: Practice and Experience – G Klein, T Nipow - 2001
17 A framework for certified program analysis and its applications to mobile-code safety – Bor-yuh Evan Chang, Adam Chlipala, George C. Necula - 2006
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
35 A language-based approach to functionally correct imperative programming – Edwin Westbrook, Aaron Stump, Ian Wehrman - 2005
69 Languages of the Future – Tim Sheard - 2004
29 A Trustworthy Proof Checker – Andrew W. Appel , Neophytos Michael, Aaron Stump, Roberto Virga - 2002