Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.

Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova

Browse the full SEFM paper archive.