Document Versions

Formal certification of a compiler back-end, or: programming a compiler with a proof assistant –Xavier Leroy — 2006 — IN PROC. 33RD ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL ’06
Formal certification of a compiler back-end or: Programming a compiler with a proof assistant –Xavier Leroy, Inria Rocquencourt — In Proceedings of the Symposium on Principles of Programming Languages
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant –Xavier Leroy, Inria Rocquencourt — 2006 — In Proc. of the 33rd Symposium on Principles of Programming Languages