the feature of programming languages that prevents assigning values of an incorrect data type.
the feature of programming languages that prevents assigning values of an incorrect data type.
enforced by the compiler to ensure data is not used in an incorrect or meaningless way