type checking -- Definition

Every  expression has  a  type, such  as  int, char,  or double.  C is  not
strongly  typed, which  means that  it allows different  types to  be mixed
relatively freely, and be changed (or cast) from one type to another.

COHERENT  checks   types  more  strictly  than   the  C  standard  implies.
COHERENT's type  checking can  be enabled or  disabled in degrees,  using -
VSTRICT and other ``variant'' options with the cc command.

See Also

cc,
Programming COHERENT,
type promotion

© 2012 by Stephen A. Ness