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]
Abstract is missing.