Attributierte Grammatiken und Attributierungsalgorithmen

(Autor)

Buch | Softcover
IX, 272 Seiten
1987
Springer Berlin (Verlag)
978-3-540-18650-2 (ISBN)

Lese- und Medienproben

Attributierte Grammatiken und Attributierungsalgorithmen - Ulrich Mahn
54,99 inkl. MwSt
Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstärkten Verbreitung von Compiler-Generatoren wird es auch für den Praktiker interessant, für spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausführliche vergleichende Darstellung der verfügbaren Ergebnisse und Methoden weist auch dem Nichtspezialisten den Weg, einen für seine Sprache geeigneten Algorithmus zu finden. Betont werden vor der Systematik der theoretischen Erkenntnisse vor allem die in Compiler-Erzeugenden Systemen wie GAG oder HLP78 bewährten Algorithmen. Für den im Compilerbau Tätigen sind sicherlich die einheitliche Zusammenfassung der großen Vielzahl bekannter Ergebnisse über Attributierte Grammatiken und die sehr umfangreiche Bibliographie von Interesse.

1. Einführung.- 1.1. Aufgaben und Struktur von Compilern.- 1.2. Attributierungen im Compilerbau.- 1.3. Attributierte Grammatik.- 1.4. Attributabhängigkeiten.- 1.5. Einsatz bei der Entwicklung von Compiler-Compilern.- 1.6. Historische und bibliographische Anmerkungen.- 2. Attributierte Grammatiken - ein systematischer Überblick.- 2.1. Wohldefinierte Attributierte Grammatiken.- 2.2. Zyklenfreiheit.- 2.3. 1-Pass-Attributierte Grammatiken.- 2.4. Multi-Pass-L/R-Attributierte Grammatiken.- 2.5. Alternierende Attributierte Grammatiken.- 2.6. Multi-Sweep-Attributierte Grammatiken.- 2.7. Multi-Visit und Geordnete Attributierte Grammatiken.- 2.8. Reine Attributierte Grammatiken.- 2.9. Absolut zyklenfreie Attributierte Grammatiken.- 2.10. Dynamische Attributierung.- 2.11. Algebraische Definition einer Attributierten Grammatik.- 2.12. Affix-Grammatiken.- 2.13. Hierarchie der Attributierten Grammatiken.- 3. Einsatz von AG in Compiler-Erzeugenden Systemen.- 3.1. ALADIN - eine applikative Sprache zur Beschreibung einer AG.- 3.2. GAG - ein Compilergenerator für Geordnete AG.- 3.3. HLP78 - ein Compilergenerator für Alternierende AG.- 3.4. FNC/ERN.- 3.5. COCO - ein Compiler-Compiler für Mikrocomputer.- 3.6. LINGUIST-86 - ein kommerziell genutzter Compiler-Compiler.- 3.7. Weitere Compilergeneratoren.- 3.8. Übersicht über Attributierungen von Programmiersprachen.- 4. Ausblick.- 5. Anhang.- 5.1. Übersetzung englischer Fachausdrücke.- 5.2. Bibliographie über Attributierte Grammatiken.- 5.3. Sonstige Literatur.

Erscheint lt. Verlag 17.12.1987
Reihe/Serie Informatik-Fachberichte
Zusatzinfo IX, 272 S. 24 Abb.
Verlagsort Berlin
Sprache deutsch
Maße 170 x 244 mm
Gewicht 501 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte Algorithmen • Compiler • Entwicklung • Komplexität • Programmiersprache • Semantik • Sprache • Test
ISBN-10 3-540-18650-6 / 3540186506
ISBN-13 978-3-540-18650-2 / 9783540186502
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85