Als «java» getaggte Fragen

1
Welches Fragment der Martin-Löf-abhängigen Typentheorie kann mit generischen Typen in Java ausgedrückt werden?
Ich habe kürzlich festgestellt, dass eine Reihe von Problemen, die ich vor einigen Jahren beim Versuch hatte, verschiedene mathematische Theorien in Java zu implementieren, darauf zurückzuführen sind, dass das Typisierungssystem in Java nicht stark genug ist, um die gesamte Martin-Löf-abhängige Typentheorie zu modellieren . Vor Java 5 und Generika war …

2
Formales Ausführungsmodell für Java (oder allgemeine imperative Sprache)
Ich versuche, einige Aussagen über die Ausführung in Java-Programmen unter einigen starken Einschränkungen zu beweisen (im Grunde genommen habe ich die Vermutung, dass zwei Methoden, die eine Reihe von Einschränkungen für eine bestimmte Eingabe erfüllen, äquivalent sind - dh den Wert und den Status danach zurückgeben Ausführung sind identisch). Um …

3
Vererbung und dynamischer Zugriff auf Mitglieder / Attribute und Methoden in Java-ähnlichen Sprachen
Ich habe eine Frage zur Vererbung in Java-ähnlichen OO-Programmiersprachen. Es kam in meiner Compiler-Klasse vor, als ich erklärte, wie Methoden und deren Aufruf kompiliert werden. Ich habe Java als Beispielquellsprache zum Kompilieren verwendet. Betrachten Sie nun dieses Java-Programm. class A { public int x = 0; void f () { …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.