A Completely Verified Realistic Bootstrap Compiler

DOI10.1142/S0129054103001947zbMath1101.68465WikidataQ123285281 ScholiaQ123285281MaRDI QIDQ5696931

Friedrich W. von Henke, Axel Dold, Wolfgang Goerigk

Publication date: 19 October 2005

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

software verificationmechanical theorem provingcompiler verificationimplementation correctnesscompiler implementation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention

Uses Software

• PVS
• Piton

Cites Work

• Unnamed Item
• Modular compiler verification. A refinement-algebraic approach advocating stepwise abstraction
• Deriving correctness properties of compiled code
• ROPI—a robust optimization programming interface for C++
• Toward compiler implementation correctness proofs

This page was built for publication: A Completely Verified Realistic Bootstrap Compiler