dcc is a product which checks that a C source file complies with the precepts of Disciplined C, a set of rules intended to elevate ANSI C to the rank of high level language (as opposed to portable assembly language), and to make as much semantics as possible flow from the design to the source code. This is achieved mainly via quasi-compulsory type/constant naming and 'const' qualifier use.
The product also detects most pitfalls of the C language, helps the programmer organize his program modules and write them so that they are well structured, well encapsulated and more portable, and finally gives some much-needed compile-time checking tools.
The rules of Disciplined C do not cause introduction of any inefficiency in the checked program.
dcc is quite fast (from 5 to 10 times faster than a compiler), and is itself written in Disciplined C.
It is available via anonymous ftp at 'ftp.supelec.fr', subdirectory 'pub/lang/dcc'.
An article describing dcc (updated copy of the one published in the December 1995 issue of ACM SIGPLAN) can be consulted.
Return to welcome page
Last modification : December 8th, 1998