compcertの例文

例文

1. CompCert is a formally verified optimizing C compiler.
2. He is the leader of the CompCert project that develops an optimizing compiler for C ( programming language ), formally verified in Coq.
3. "' CompCert "'is a GCC ( version 3 ) at optimization level-O1, and always better than that of GCC without optimizations.
4. Academic papers and textbooks often use a form of RTL as an architecture-neutral assembly language . "'RTL "'is used as the name of a specific intermediate representation in several compilers, including the GNU Compiler Collection ( GCC ), Zephyr, and the European compiler projects CerCo and CompCert.