Strong Typing

• Strong typing The requirement that only a value of the proper type can be stored into a variable

• Data type A description of the set of values and the basic set of operations that can be applied to values of the type