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. Ver também compiler (compilador definição 2); data type (tipo de dados); interpreter (interpretador).