type checking verificação dos tipos

O exame das operações de um programa feito pelo compilador ou interpretador para assegurar que, quando uma variável é usada, somente dados dos tipos corretos estejam sendo utilizados. Pesquise também compiler (compilador – definição 2); data type (tipo de dados); interpreter (interpretador).