Attributgrammatiken Eine grundlegende Einführung

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.

Einführung in die Technik der Attributgrammatiken - Auswertungsstrategien: visits, sweep und passes - Einbettung in die Logik-Programmierung und die funktionale Programmierung - Stark nichtzirkuläre Attributgrammatiken - Attributauswertung bei gleichzeitigem Parsing - Inkrementelle Attributauswertung

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.