Jan Olaf Blech, Arnd Poetzsch-Heffter. A Certifying Code Generation Phase. Electronic Notes in Theoretical Computer Science, 190(4):65-82, 2007. [doi]
@article{BlechP07, title = {A Certifying Code Generation Phase}, author = {Jan Olaf Blech and Arnd Poetzsch-Heffter}, year = {2007}, doi = {10.1016/j.entcs.2007.09.008}, url = {http://dx.doi.org/10.1016/j.entcs.2007.09.008}, tags = {code generation}, researchr = {https://researchr.org/publication/BlechP07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {4}, pages = {65-82}, }