A o tipo de uma variável é o conteúdo da célula ou das células de memória associadas à variável.
B uma declaração explícita é uma instrução em um programa que lista nomes de variáveis e especifica que elas são de um tipo particular.
C a verificação de tipos é a atividade de assegurar que os operandos de um operador sejam de tipos compatíveis.
D uma variável de um programa é uma abstração de uma célula ou de um conjunto de células de memória do computador.
E o endereço de uma variável é o mesmo da memória à qual ela está associada.