Compilerbau

Struktur von Übersetzern

• Phasenmodell
• Abstrakte Zielmaschinen

Lexikalische Analyse

• reguläre Ausdrücke
• lex

Syntaktische Analyse

• Kontextfreie Grammatiken
• Kellerautomaten
• Grammatikanalyse
• Top down-Analyse
• CoCo/R
• Bottom up-Analyse
• yacc

Semantische Analyse

• Aufgaben
• Typüberprüfung
• Attributierte Grammatiken
• Syntaxgesteuerte Übersetzung

Zwischencodegenerierung

• Zwischencodedarstellungen
• syntaxgesteuerte Erzeugung

Codegenerierung

• Abstrakte und reale Maschinen
• Laufzeitorganisation
• Grundblöcke und Flussgrafen
• einfacher Codegenerator
• Baumanalyse und Baumautomaten

Codeoptimierung

• Optimierung in Grundblöcken
• Datenflussanalyse
• Codeverbessernde Transformationen

Literatur

• Wilhelm,Maurer; Übersetzerbau; Springer 1997
• Appel; Modern Compiler Implementation in Java, 1998
• Aho, Lam, Sethi, Ullman; Compilers; Addison-Wesley; 2007
• Wirth; Compilerbau; Teubner 1984