A Framework for Formal Verification of Compiler Optimizations

DOI10.1007/978-3-642-14052-5_26zbMath1291.68360OpenAlexW2099017529MaRDI QIDQ5747662

William Mansky, Elsa L. Gunter

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14052-5_26

zbMATH Keywords

theorem provingprogram transformationstemporal logicoptimizing compilers

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verifying Optimizations for Concurrent Programs

This page was built for publication: A Framework for Formal Verification of Compiler Optimizations