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