Arnd Poetzsch-Heffter, Marek Gawkowski. Towards Proof Generating Compilers. Electronic Notes in Theoretical Computer Science, 132(1):37-51, 2005. [doi]
@article{Poetzsch-HeffterG05, title = {Towards Proof Generating Compilers}, author = {Arnd Poetzsch-Heffter and Marek Gawkowski}, year = {2005}, doi = {10.1016/j.entcs.2005.03.023}, url = {http://dx.doi.org/10.1016/j.entcs.2005.03.023}, tags = {compiler}, researchr = {https://researchr.org/publication/Poetzsch-HeffterG05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {132}, number = {1}, pages = {37-51}, }