Perguntas com a marcação «java»

Eu vim recentemente a perceber que um número de problemas que eu tinha há alguns anos tentando implementar várias teorias matemáticas em Java desceu para o fato de que o sistema de digitação em Java não é suficientemente forte para modelar toda a teoria tipo dependente Martin-Löf . Antes de …

8 type-theory  dependent-types  java 

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 após execução são idênticas). Para …

7 programming-languages  semantics  java  operational-semantics 

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 { public …

7 programming-languages  semantics  typing  object-oriented  java