A Formally Verified Compiler Back-end

Xavier Leroy. A Formally Verified Compiler Back-end. Journal of Automated Reasoning, 43(4):363-446, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: