CENSYS - A STRUCTURE ORIENTED SOFTWARE ENGINEERING ENVIRONMENT FOR THE DEVELOPMENT OF C-PROGRAMS

CENSYS is a structure oriented (syntax directed) software engineering environment for the development of C programs. It is mainly intended to be used by programmers who are learning to write programs in C. It consists of a syntax directed editor, a semantic checker like the C program checker LINT, and an experimental data flow analysis tool. The Cornell program synthesizer (CPS) was the prototype for CENSYS, but a main difference between CENSYS and CPS is the fact that semantic checking in CENSYS is done in a special phase and not permanentaly when the program is edited. This is an effect of the language C, which needs checking for many possible program anomalies. The problems that are effected by the language C are demonstrated.