O processo realizado por um compilador ou interpretador para certificar-se que, quando uma variável é usada, ela é tratada como tendo os mesmos dados digite conforme foi declarado ter.