Open AccessCompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler
Author(s) -
Daniel L. Kastner,
Jörg Barrho,
Ulrich Wünsche,
Marc Schlickling,
Bernhard Schommer,
Michael D. Schmidt,
Christian Ferdinand,
Xavier Leroy,
Sandrine Blazy
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - compiler , computer science , executable , correctness , certification , programming language , mathematical proof , process (computing) , software engineering , semantics (computer science) , compiler correctness , optimizing compiler , geometry , mathematics , political science , law