Certificate Translation in Abstract Interpretation
From MaRDI portal
Publication:5458410
Recommendations
Cites work
- scientific article; zbMATH DE number 1953021 (Why is no real title available?)
- Automatic construction of Hoare proofs from abstract interpretation results.
- Certificate Translation for Optimizing Compilers
- Logic for Programming, Artificial Intelligence, and Reasoning
- Proof-Producing Program Analysis
- Simple relational correctness proofs for static analyses and program transformations
- Symbolic transfer function-based approaches to certified compilation
- Systematic design of program transformation frameworks by abstract interpretation
Cited in
(6)- A formally verified compiler back-end
- Beyond 2-safety: asymmetric product programs for relational program verification
- scientific article; zbMATH DE number 1756094 (Why is no real title available?)
- An Introduction to Certificate Translation
- Preservation of Proof Obligations from Java to the Java Virtual Machine
- Certification Using the Mobius Base Logic
This page was built for publication: Certificate Translation in Abstract Interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458410)