Open AccessCompCert - A Formally Verified Optimizing Compiler
Author(s) -
Xavier Leroy,
Sandrine Blazy,
Daniel L. Kastner,
Bernhard Schommer,
Markus Pister,
Christian Ferdinand
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - compiler , executable , computer science , mathematical proof , programming language , software engineering , context (archaeology) , argument (complex analysis) , semantics (computer science) , paleontology , biochemistry , chemistry , geometry , mathematics , biology