Übersetzung objektorientierter Programmiersprachen Konzepte, abstrakte Maschinen und Praktikum „Java-Compiler“

Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen für die Entwicklung von Übersetzern für objektorientierte Programmiersprachen.
In einem Theorieteil werden zunächst ausführlich und anschaulich die Konzepte dieser Sprachen und ihrer Übersetzung behandelt, so daß der Leser einen umfassenden Überblick über die verschiedenen Übersetzungstechniken erhält. Die Übersetzung von Smalltalk-80, Java und C++ wird über eine einfache abstrakte (virtuelle) Maschine vereinheitlicht.
Im Praxisteil des Buches wird dann die Spezifikation eines Übersetzers für Java entwickelt. Diese kann als Eingabe für einen Übersetzergenerator verwendet werden, der daraus ein ablauffähiges C-Programm erzeugt. In einem abschließenden Praktikum mit Aufgaben und Lösungen (Gesamtlösung im WWW) wird der vermittelte Stoff am Beispiel der Entwicklung eines Java-Compilers eingeübt.

1: Theorie.- 1 Einleitung.- 2 Objektorientierte Konzepte.- 3 Übersetzung objektorientierter Konzepte und abstrakte Maschinen.- 4 Typinferenz und Typüberprüfung.- 5 Optimierungen.- 6 Speicherbereinigung.- 7 Ausblick.- 2: Praxis.- 8 Compilerbaupraktikum.- 9 Java — Die Programmiersprache.- 10 Das MAX-System.- 11 Befehle der virtuellen Java-Maschine.- 12 Übersetzerspezifikation.- Anhang A: Klassenfile und Bytecode.- Anhang B: Java-Syntax.- Literatur.