Attributgrammatiken

Eine grundlegende Einführung
1997
ISBN: 978-3-528-05582-0
Verlag: Vieweg+Teubner Verlag

Buch, Deutsch, 197 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 281 g

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.

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Vogler, Heiko

Kühnemann, Armin

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler

Inhaltsverzeichnis

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 Logik—Programmierung.- 6 Einbettung in die funktionale Programmierung.- 7 Stark nichtzirkuläre Attributgrammatiken und ihre Auswerter.- 8 Attributauswertung bei gleichzeitigem Parsing.- 9 Inkrementelle Attributauswertung.- Bezeichnungsindex.

Über Autor(innen)

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.