Structure of a proof-producing compiler for a subset of higher order logic (2007)

by Guodong Li , Scott Owens , Konrad Slind
Venue:16th European Symposium on Programming (ESOP’07
Citations:10 - 7 self

Active Bibliography

Deductive Translation Validation for a Subset of Higher Order Logic – Guodong Li, Konrad Slind
Formal Verification of Programs and . . . – Guodong Li - 2010
9 Compilation as Rewriting in Higher Order Logic – Guodong Li, Konrad Slind
827 SPINS: Security Protocols for Sensor Networks – Adrian Perrig, Robert Szewczyk, Victor Wen, David Culler, J. D. Tygar - 2001
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
523 LLVM: A compilation framework for lifelong program analysis & transformation – Chris Lattner, Vikram Adve - 2004
518 Enforceable Security Policies – Fred B. Schneider
11 Trusted source translation of a total function language – Guodong Li, Konrad Slind - 2008