Considere as seguintes afirmativas.

I. Uma lingua...

Considere as seguintes afirmativas.

I. Uma linguagem de programação é dita fortemente tipada se todos os erros de tipo puderem ser detectados em tempo de compilação ou de execução.
II. O paradigma imperativo engloba linguagens estruturadas e linguagens orientadas a objetos.
III. Classificam-se como sendo linguagens declarativas aquelas que exigem a declaração explícita de todas as variáveis utilizadas em um programa.
IV. Embora todo procedimento recursivo possua um procedimento não recursivo que executa exatamente a mesma computação, procedimentos recursivos são, em geral, mais concisos e eficazes.
V. Legibilidade, capacidade de escrita e confiabilidade são critérios comumente utilizados para avaliação de linguagens de programação.

Assinale a alternativa correta.