Das Buch bietet eine grundlegende Einführung in die Technik der Attributgrammatiken. Im Compilerbau haben sich Attributgrammatiken als nützliches Werkzeug zur Spezifikation kontextsensitiver Nebenbedingungen und der Übersetzung von Programmiersprachen erwiesen. Im Mittelpunkt des Buches stehen die Algorithmen zur Attributauswertung und die Beziehungen zu anderen Programmierparadigmen. Das Buch zeichnet sich durch seine formale Darstellung aus und kann sehr gut als Grundlage für Lehrveranstaltungen in Informatik, Mathematik und ingenieurwissenschaftlichen Fächern benutzt werden. Durch die vielen begleitenden Beispiele und Übungsaufgaben ist es auch zum Selbststudium geeignet.
Nicht nur Dozenten und Studenten, sondern auch der erfahrene Compilerdesigner und der Entwickler von Programmierumgebungen werden intensiven Nutzen aus diesem Buch ziehen können.

Theorie für den Compilerbau

Autorentext

Dipl.-Inform. Armin Kühnemann ist wissenschaftlicher Mitarbeiter an der Technischen Universität Dresden.
Prof. Dr.-Ing. habil. Heiko Vogler ist Hochschullehrer für Informatik an der Technischen Universität Dresden.

Inhalt
1 Einleitung.- Präliminarien.- 2 Präliminarien.- I Grundlagen.- 3 Die wichtigsten Definitionen.- 4 Auswertungsstrategien: visits, sweeps und passes.- II Ausgewählte Problemstellungen.- 5 Einbettung in die LogikProgrammierung.- 6 Einbettung in die funktionale Programmierung.- 7 Stark nichtzirkuläre Attributgrammatiken und ihre Auswerter.- 8 Attributauswertung bei gleichzeitigem Parsing.- 9 Inkrementelle Attributauswertung.- Bezeichnungsindex.