18) Podemos afirmar sobre a verificação de tipos: a) No overloading o mesmo código é usado para vários tipos de dados diferentes. b) No polimorfis...

Analisando as alternativas: a) No overloading o mesmo código é usado para vários tipos de dados diferentes. - Errado. Overloading é quando temos métodos com o mesmo nome, mas com diferentes parâmetros. b) No polimorfismo o mesmo código é usado para vários tipos de dados diferentes. - Correto. O polimorfismo permite que um mesmo código possa ser usado para diferentes tipos de dados. c) Na verificação dinâmica de tipos é preciso manter informações de tipo durante a execução do programa - Correto. A verificação dinâmica de tipos requer a manutenção das informações de tipo durante a execução do programa. d) A verificação de tipos pode ser especificada formalmente. - Correto. A verificação de tipos pode ser especificada formalmente em muitas linguagens de programação. e) Ela pode garantir estaticamente que todos os acessos a arrays são feitos dentro dos limites do tamanho do array. - Correto. A verificação de tipos pode garantir estaticamente que todos os acessos a arrays são feitos dentro dos limites do tamanho do array. Portanto, as alternativas corretas são b), c), d) e e).