6.2.5 Other Static Checks

Other static checks include type checking expressions to make sure operators are compatible with their operands, checking that a variable used has been declared, checking that an array declared to be of a certain dimension is used with the correct number of subscripts, and a myriad of other tasks. Some static checks are language dependent since not all languages have the same constraints. FORTRAN, for instance, does not require variables to be declared before being used.

_{Send questions and comments to: Karen Lemone}