Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon. Extensible Proof-Producing Compilation. In Oege de Moor, Michael I. Schwartzbach, editors, Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Volume 5501 of Lecture Notes in Computer Science, pages 2-16, Springer, 2009. [doi]
@inproceedings{MyreenSG09,
title = {Extensible Proof-Producing Compilation},
author = {Magnus O. Myreen and Konrad Slind and Michael J. C. Gordon},
year = {2009},
doi = {10.1007/978-3-642-00722-4_2},
url = {http://dx.doi.org/10.1007/978-3-642-00722-4_2},
tags = {C++},
researchr = {https://researchr.org/publication/MyreenSG09},
cites = {0},
citedby = {0},
pages = {2-16},
booktitle = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
editor = {Oege de Moor and Michael I. Schwartzbach},
volume = {5501},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00721-7},
}