Back to Results
First PageMeta Content
Procedural programming languages / Data types / C++ / Logic in computer science / Programming language semantics / Pointer / C / ALGOL 68 / Monad / Software engineering / Computing / Programming language theory


Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr
Add to Reading List

Document Date: 2006-05-16 04:47:55

Open Document

File Size: 213,00 KB

Share Result on Facebook

City

Le Chesnay / /

Country

France / /

/

IndustryTerm

safety-critical software / type checking algorithm / embedded software / /

Person

Xavier Leroy / Zaynah Dargaye / /

Position

translator / representative / Coq proof assistant / Cminor producer / /

ProgrammingLanguage

Java / C / /

Technology

Java / type checking algorithm / /

SocialTag