![C programming language / C++ / Procedural programming languages / Data types / Programming language semantics / Sizeof / Pointer / C++ classes / C / Software engineering / Computing / Computer programming C programming language / C++ / Procedural programming languages / Data types / Programming language semantics / Sizeof / Pointer / C++ classes / C / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/5c5b4d8729adf8ec0e87f13f093273e7.jpg)
| Document Date: 2009-07-17 05:14:09 Open Document File Size: 216,06 KBShare 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 |