Certificate Translation in Abstract Interpretation

DOI10.1007/978-3-540-78739-6_28zbMath1133.68315OpenAlexW1561578075MaRDI QIDQ5458410

Gilles Barthe, César Kunz

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_28

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification ⋮ An Introduction to Certificate Translation ⋮ A formally verified compiler back-end ⋮ Preservation of Proof Obligations from Java to the Java Virtual Machine

Cites Work

• Unnamed Item
• Symbolic transfer function-based approaches to certified compilation
• Simple relational correctness proofs for static analyses and program transformations
• Proof-Producing Program Analysis
• Certificate Translation for Optimizing Compilers
• Systematic design of program transformation frameworks by abstract interpretation
• Logic for Programming, Artificial Intelligence, and Reasoning
• Programming Languages and Systems

This page was built for publication: Certificate Translation in Abstract Interpretation