Grundlagen des Compilerbaus

12 113 11551

Grundlagen des Compilerbaus

Di, 16.15 - 18.00 Uhr, HS IV (Lahnberge), am 3.11.: HS II
Mi, 10.20 - 12.00 Uhr, HS IV (Lahnberge), am 27.01.: HS V
Achtung:Am Mittwoch, dem 27. Januar findet die Vorlesung im HS V (ehemals IIIa) statt!

Beginn: 13.10.2009

Übungen

Mischa Dieterle
Fr, 10.15 - 12.00 Uhr, HS V (Ebene D4, Lahnberge)
Achtung: Am Freitag, dem 22. Januar fällt die Übung aus!

Beginn: 16.10.2009

Bitte melden Sie sich über diesen Link online zur Vorlesung an!

Fachgebiet	Klassifikation	Semester	Leistungspunkte	Skript
Informatik	Hauptstudium, theoretische Informatik, Systementwicklung	>=3	9	ja

Voraussetzungen: Grundvorlesung Theoretische Informatik (Automatentheorie und Formale Sprachen), Grundkenntnisse in funktionaler Programmierung mit Haskell

Scheinkriterien: Voraussetzungen für einen unbenoteten Schein:

aktive Teilnahme an den Übungen
erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben
Vorbereitung und mündliche Präsentation mindestens einer Übungsaufgabe
Für einen benoteten Schein bzw. eine Modulbescheinigung muss zusätzlich ein Kolloquium (mündliche Abschlussprüfung) bestanden werden.

Prüfungsanmeldung: Die (verbindliche) Anmeldung zur Abschlussprüfung findet in den Vorlesungen am 12. und 13. Januar 2010 statt.

Kolloquiumstermine: Die mündlichen Prüfungen finden in der ersten Woche der vorlesungsfreien Zeit statt. Nach der Prüfungsanmeldung können Sie sich in den Übungen in Terminlisten eintragen.

Vorlesungsunterlagen:

Alex-Beispiele (aus der alex-Distribution): Tokens.x, Tokens_posn.x
Folien zu Beispiel "Top-Down-Analyseautomat"
"Monadic Parser Combinators" von Graham Hutton und Erik Meijer
Beispieldateien aus Vorlesung:
- parser.hs
- monadische Version: Monadic_AE_Parser.hs
- Parsec-Version: aeparserParsec.hs
Folien zur LR(0)-Analyse: "bspLR0.pdf", zur SLR(1)-Analyse: "gaeLR0.pdf" und zur LR(1)/LALR(1)-Analyse: "bspLR1.pdf"
Verzeichnis mit Happy-Beispielen
Folien mit Beispielen zu Attributgrammatiken, Abhängigkeitsgraphen
Folien zur Zwischencodeerzeugung für die Modellsprachen PSA, PSP und PSPP
Folien zur Codeoptimierung
Im Skript fehlendes Kapitel 6: Code-Optimierung

Literatur:

A. Aho, R. Sethi, J. Ullman: Compilers - Principles, Techniques, and Tools Addison-Wesley 1986
R. Wilhelm, D. Maurer: Übersetzerbau: Theorie, Konstruktion, Generierung, Springer Verlag 1992.
A. Appel: Modern Compiler Implementation in ML/Java/C++, Addison-Wesley 1998.
Bauer/Höllerer: Übersetzung objektorientierter Programmiersprachen, Springer Verlag 1998.
W. Waite, G. Goos: Compiler construction Springer 1984
Watt/Brown: Programming Language Processors in Java, Prentice Hall 2000

Inhalt:

Compiler übersetzen Programme aus höheren Programmiersprachen in ausführbaren Maschinencode. In der Vorlesung sollen Konzepte und Methoden, die für die verschiedenen Phasen von Compilern entwickelt wurden, vor- und gegenübergestellt werden. Im einzelnen werden folgende Themen behandelt:

Lexikalische Analyse
Syntaktische Analyse
Semantische Analyse
Zwischencode-Erzeugung
Code-Optimierung
Übersetzung Objekt-orientierter Sprachen

In den begleitenden Übungen werden Compilerteile in Haskell programmiert.

Zuletzt geändert:

Voraussetzungen:	Grundvorlesung Theoretische Informatik (Automatentheorie und Formale Sprachen), Grundkenntnisse in funktionaler Programmierung mit Haskell
Scheinkriterien:	Voraussetzungen für einen unbenoteten Schein: aktive Teilnahme an den Übungen erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben Vorbereitung und mündliche Präsentation mindestens einer Übungsaufgabe Für einen benoteten Schein bzw. eine Modulbescheinigung muss zusätzlich ein Kolloquium (mündliche Abschlussprüfung) bestanden werden.

Prüfungsanmeldung:	Die (verbindliche) Anmeldung zur Abschlussprüfung findet in den Vorlesungen am 12. und 13. Januar 2010 statt.
Kolloquiumstermine:	Die mündlichen Prüfungen finden in der ersten Woche der vorlesungsfreien Zeit statt. Nach der Prüfungsanmeldung können Sie sich in den Übungen in Terminlisten eintragen.