A Certifying Code Generation Phase

In: Proceedings of the 6th Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal. ENTCS, March, 2007

Authors

• Jan Olaf Blech
• Arnd Poetzsch-Heffter

Full Text

• PDF: BlechPoetzsch-HeffterCOCV07.pdf
• PS.GZ: BlechPoetzsch-HeffterCOCV07.ps.gz

BibTeX

@InProceedings{Blech.Poetzsch-Heffter07certifying, 
   author = {Jan Olaf Blech and Arnd Poetzsch-Heffter}
   title = {A Certifying Code Generation Phase},
   booktitle = {Proceedings of the 6th Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal},
   series = {ENTCS},
   month = {March},
   year = {2007},
}