3 DCC, LANGUAGES, Disciplined ANSI C Language Checker   F This product checks that a C source file complies with the precepts ofG Disciplined C, a set of rules aiming at elevating ANSI C to the rank of J high level language (as opposed to portable assembly language), and makingK as much semantics as possible flow from the design to the source code. This J is achieved mainly via quasi-compulsory types/constants naming and 'const' qualifier use.  J The product also detects most of the pitfalls of the C language, helps theL programmer organize his program modules and write them so that they are wellO encapsulated and more portable, and finally gives some much-needed compile-time  checking tools.   L dcc is quite fast (from 5 to 10 times faster than a compiler), and is itself written in Disciplined C.   M Its updates are available via anonymous ftp at 'ftp.supelec.fr', subdirectory " 'pub/lang/dcc'. Have a try at it !  & Yves Noyelle (Yves.Noyelle@supelec.fr)J Supelec, Service Informatique, Plateau de Moulon, F-91192 Gif/Yvette Cedex