A Formally Verified Compiler Back-end

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

No reviews for this publication, yet.