Perguntas com a marcação «java»

Herança e acesso dinâmico a membros / atributos e métodos em linguagens semelhantes a Java

Eu tenho uma pergunta sobre herança em linguagens de programação OO do tipo Java. Ele surgiu na minha classe de compilador, quando expliquei como compilar métodos e sua invocação. Eu estava usando Java como exemplo de linguagem de origem para compilar. Agora considere este programa Java. class A...

Modelo formal de execução para Java (ou linguagem imperativa geral)

Estou tentando provar algumas declarações sobre a execução em programas Java sob algumas restrições pesadas (basicamente tenho uma conjectura de que, se dois métodos satisfazem um conjunto de restrições para uma determinada entrada, então eles são equivalentes - ou seja, que retornam valor e estado...