Certificate Translation for Optimizing Compilers
From MaRDI portal
Publication:3613391
DOI10.1007/11823230_20zbMath1225.68062OpenAlexW1503028102MaRDI QIDQ3613391
Benjamin Grégoire, Gilles Barthe, Tamara Rezk, César Kunz
Publication date: 12 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11823230_20
Related Items (9)
Proof optimization for partial redundancy elimination ⋮ Formal Certification of a Resource-Aware Language Implementation ⋮ An Introduction to Certificate Translation ⋮ A formally verified compiler back-end ⋮ Preservation of Proof Obligations from Java to the Java Virtual Machine ⋮ Program and proof optimizations with type systems ⋮ Certificate Translation in Abstract Interpretation ⋮ Automatic Parallelization and Optimization of Programs by Proof Rewriting ⋮ Inter-program Properties
Uses Software
This page was built for publication: Certificate Translation for Optimizing Compilers
