Übersetzung objektorientierter Programmiersprachen

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.

Das Lehrbuch vermittelt die Grundlagen für die Entwicklung von Übersetzern für objektorientierte Programmiersprachen. In einem Theorieteil werden ausführlich und anschaulich die Konzepte dieser Sprachen und ihrer Übersetzung behandelt. Die Übersetzung von Smalltalk-80, Java und C++ wird über eine einfache abstrakte (virtuelle) Maschine vereinheitlicht. Im Praxisteil wird dann die Spezifikation eines Übersetzers für Java entwickelt. Sie 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 Stoff am Beispiel der Entwicklung eines Java-Compilers eingeübt.

Klappentext

Das Lehrbuch führt umfassend in die verschiedenen Übersetzungstechniken ein. Im Praxisteil entwickeln die Autoren die Spezifikation eines Übersetzers für Java. Sie kann als Eingabe für einen Übersetzergenerator verwendet werden, der daraus ein ablauffähiges C-Programm erzeugt. Das Buch enthält zahlreiche Abbildungen, Übungen und ein komplettes Software-Engineering-Praktikum zum Bau eines Java-Compilers.

Inhalt
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.