C-- is a C-like programming language designed to be generated by compilers, rather than human programmers.
C-- is a C-like programming language designed to be generated by compilers, rather than written by human programmers.
The idea is to allow a program written in another language to be compiled into C-- source code, which is then converted into machine code by an optimizing C-- compiler. The burden of optimization is shifted entirely on to the C-- backend, allowing compilers to focus exclusively on semantic translation.