Certifying Code Generation with Coq

In: Proceedings of the 7th Workshop on Compiler Optimization meets Compiler Verification (COCV 2008), Budapest, Hungary. ENTCS, April, 2008

Authors

• Jan Olaf Blech
• Benjamin Grégoire

Full Text

• PDF: CertifyingCodeGenerationWithCoq.pdf
• PS.GZ: CertifyingCodeGenerationWithCoq.ps.gz

BibTeX

@InProceedings{Blech.Gregoire08certifying, 
   author = {Jan Olaf Blech and Benjamin Grégoire}
   title = {Certifying Code Generation with Coq },
   booktitle = {Proceedings of the 7th Workshop on Compiler Optimization meets Compiler Verification (COCV 2008), Budapest, Hungary},
   series = {ENTCS},
   month = {April},
   year = {2008},
}