The process performed by a compiler or interpreter to make sure that when a variable is used, it is treated as having the same data type as it was declared to have.