Deductive Translation Validation for a Subset of Higher Order Logic

by Guodong Li , Konrad Slind

Active Bibliography

Formal Verification of Programs and . . . – Guodong Li - 2010
10 Structure of a proof-producing compiler for a subset of higher order logic – Guodong Li, Scott Owens, Konrad Slind - 2007
9 Compilation as Rewriting in Higher Order Logic – Guodong Li, Konrad Slind
11 Trusted source translation of a total function language – Guodong Li, Konrad Slind - 2008
5 Validated Compilation through Logic – Guodong Li
827 SPINS: Security Protocols for Sensor Networks – Adrian Perrig, Robert Szewczyk, Victor Wen, David Culler, J. D. Tygar - 2001
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