Back to Results
First PageMeta Content
C programming language / C++ / Procedural programming languages / Data types / Programming language semantics / Sizeof / Pointer / C++ classes / C / Software engineering / Computing / Computer programming


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy
Add to Reading List

Document Date: 2009-07-17 05:14:09

Open Document

File Size: 216,06 KB

Share Result on Facebook

/

IndustryTerm

fixpoint operator / embedded software / systems software / structural type systems / program verification tools / /

Person

Xavier Leroy / /

Position

editor / proof assistant / translator / Clight producer / Coq proof assistant / /

ProgrammingLanguage

C / Java / /

PublishedMedium

la Recherche / /

Technology

Dom / operating system / Java / /

URL

http /

SocialTag