As linguagens de programação apresentam variações na definição dos tipos de dados. Dependendo da linguagem de programação, o tipo de um dado é verificado diferentemente, de acordo com a análise léxica, sintática e semântica do compilador ou interpretador da linguagem. A verificação do tipo de dado de uma informação é feita de forma estática, quando o código está sendo compilado. Em C, C++ e Java, por exemplo, os tipos de dados são estáticos. Assinale a alternativa CORRETA que apresenta a verificação feita de forma dinâmica (tempo de execução):

A) PHP.

B) Object Pascal.

C) C#.

D) Java da Oracle.