Trusted source translation of a total function language (2008)

Cached

Download Links

by Guodong Li , Konrad Slind
Venue:In 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS
Citations:9 - 8 self

Active Bibliography

Formal Verification of Programs and . . . – Guodong Li - 2010
3 Validated Compilation through Logic – Guodong Li
7 Compilation as Rewriting in Higher Order Logic – Guodong Li, Konrad Slind
10 Extensible proof-producing compilation – Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon
Deductive Translation Validation for a Subset of Higher Order Logic – Guodong Li, Konrad Slind
8 Structure of a proof-producing compiler for a subset of higher order logic – Guodong Li, Scott Owens, Konrad Slind - 2007
of programs]: Specifying and Verifying and Reasoning about – Nick Benton, Nicolas Tabareau - 2008
15 Compiling functional types to relational specifications for low level imperative code – Nick Benton, Nicolas Tabareau - 2009
24 Biorthogonality, Step-Indexing and Compiler Correctness – Nick Benton, Chung-Kil Hur - 2009
229 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
15 A verifying core for a cryptographic language compiler – Lee Pike - 2006
4 Mechanized Verification of CPS Transformations – Zaynah Dargaye, Xavier Leroy
: Armenia (2007)" DOI: 10.1007/978-3-540-75560-9_17 Mechanized Verification of CPS Transformations – Zaynah Dargaye, Xavier Leroy - 2008
24 Formal Verification of Translation Validators -- A Case Study on Instruction Scheduling Optimizations – Jean-baptiste Tristan, Xavier Leroy - 2008
11 Verified Validation of Lazy Code Motion – Jean-Baptiste Tristan, Xavier Leroy - 2008
25 Mechanized Semantics for the Clight Subset of the C Language – Sandrine Blazy, Xavier Leroy
DOI 10.1007/s10817-009-9148-3 Mechanized Semantics for the Clight Subset of the C Language – Rine Blazy Xavier Leroy
Mechanized – unknown authors
31 A Brief Overview of HOL4 – Konrad Slind, Michael Norrish - 2008