Date: 2006-05-16 04:47:55Procedural 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.frAdd to Reading ListSource URL: gallium.inria.frDownload Document from Source Website File Size: 213,00 KBShare Document on Facebook
|