Sobre a verificação de tipo, é correto afirmar que: As verificações realizadas nos tipos de compilação podem ser estáticas e/ou dinâmicas. A verif...

A alternativa correta é a letra "b) Apenas as afirmativas I e II estão corretas." A afirmativa I está correta, pois as verificações realizadas nos tipos de compilação podem ser estáticas e/ou dinâmicas. A verificação estática é realizada no código-fonte sempre, no processo de compilação dos códigos-fontes, e a verificação dinâmica é realizada durante tempo de execução da aplicação e/ou do programa. A afirmativa II também está correta, pois as linguagens de programação com tipos estáticos são atribuídas a muitos tipos de diversas. Já a afirmativa III está incorreta, pois não é verdade que apenas as linguagens de programação com tipos estáticos são atribuídas a muitos tipos de diversas. A afirmativa IV também está incorreta, pois não é verdade que uma verificação importante das construções sintáticas é significado lógico para qualquer linguagem.