Attributierte Grammatiken und Attributierungsalgorithmen

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

Full description

Bibliographic Details
Main Author: Mahn, Ulrich
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1988, 1988
Edition:1st ed. 1988
Series:Informatik-Fachberichte
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03778nmm a2200325 u 4500
001 EB000663417
003 EBX01000000000000000516499
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| ger
020 |a 9783642517099 
100 1 |a Mahn, Ulrich 
245 0 0 |a Attributierte Grammatiken und Attributierungsalgorithmen  |h Elektronische Ressource  |c von Ulrich Mahn 
250 |a 1st ed. 1988 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1988, 1988 
300 |a IX, 272 S. 24 Abb  |b online resource 
505 0 |a 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 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Software Engineering 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
041 0 7 |a ger  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Informatik-Fachberichte 
028 5 0 |a 10.1007/978-3-642-51709-9 
856 4 0 |u https://doi.org/10.1007/978-3-642-51709-9?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.45 
520 |a 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