An Introduction to Certificate Translation

DOI10.1007/978-3-642-03829-7_2zbMath1252.68068OpenAlexW1506101419MaRDI QIDQ3184785

Gilles Barthe, César Kunz

Publication date: 22 October 2009

Published in: Foundations of Security Analysis and Design V (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03829-7_2

Mathematics Subject Classification ID

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

Uses Software

• KRAKATOA

Cites Work

• Unnamed Item
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Certificate Translation for Optimizing Compilers
• Systematic design of program transformation frameworks by abstract interpretation
• Formal certification of a compiler back-end or
• Certificate Translation in Abstract Interpretation
• An axiomatic basis for computer programming

This page was built for publication: An Introduction to Certificate Translation