Back to Results
First PageMeta Content
Compilers / Functional languages / Formal methods / Logic in computer science / Compcert / Compiler correctness / Compiler / Xavier Leroy / Coq / Software / Computing / Compiler construction


The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014
Add to Reading List

Document Date: 2014-09-17 05:19:05

Open Document

File Size: 268,71 KB

Share Result on Facebook

Company

Creative Commons / /

IndustryTerm

embedded software systems / verification tools / embedded software / software assurance / software tool / formal verification tools / code generation algorithms / sound source-level verification tool / lifecritical and mission-critical software / delicate algorithms / hardware devices / safety-critical applications / /

MusicAlbum

I/O / /

Organization

CompCert C. Chapter / /

Person

Xavier Leroy / /

Position

Stanford LCF proof assistant / Translator / mathematician / interpreter / reference interpreter / Coq proof assistant / /

Product

CompCert / /

ProgrammingLanguage

ANSI C / C / /

Technology

operating systems / ANSI C / code generation algorithms / /

URL

http /

SocialTag