First Page | Document Content | |
---|---|---|
Date: 2008-06-25 07:48:56Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness | A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,Add to Reading ListSource URL: pauillac.inria.frDownload Document from Source WebsiteFile Size: 511,39 KBShare Document on Facebook |