Grundlagen des Compilerbaus

12 113 11551

Grundlagen des Compilerbaus

Achtung (neu ab Januar 2012):
Di, 16.00 - 18.00 Uhr, HS IV (Lahnberge)
Mi, 15.15 - 16.15 Uhr, SR V (!!!) (Ebene D5, Lahnberge)

Beginn: 18.10.2011

Übungen

Mischa Dieterle
ab 27. Oktober: Do, 12.15 - 14.00 Uhr, HS V (Raum 04A23, Ebene A4, Lahnberge)
Achtung: Am 20. Oktober findet die Übung mit einer Einführung in Haskell ausnahmsweise von 16.15 bis 18.00 Uhr im SR XIII (Raum 03C45, Ebene C3, Lahnberge) statt.

Beginn: 20.10.2011

Fachgebiet	Klassifikation	Semester	Leistungspunkte	Skript
Informatik	Hauptstudium, theoretische Informatik, Systementwicklung Vertiefungsmodul nach StPO 2004 Aufbaumodul nach StPO 2010	>=3	9	ja

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

Kriterien für die Leistungspunktevergabe:

aktive Teilnahme an den Übungen
erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben, Abgabe in Zweiergruppen ist erlaubt.
Vorbereitung und mündliche Präsentation von mindestens zwei Übungsaufgaben
Bestehen der Abschlussprüfung (Klausur oder mündliche Prüfung)

Prüfungsanmeldung: Eine Anmeldung zur Abschlussprüfung ist bis zum 13. Januar 2012 möglich.

Vorlesungsunterlagen:

Compilerstruktur
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:
(am 22.11.11 korrigierte Versionen mit korrekter Assoziativität im abstrakten Syntaxbaum)
- 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

Skript:

Das Skript zur Vorlesung kann in der Dienstag-Vorlesung der zweiten Vorlesungswoche oder danach im Informatik-Sekretariat auf D5 für 5 EUR erworben werden.
Kapitel 1 steht vorab zur Verfügung.

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
Kriterien für die Leistungspunktevergabe:	aktive Teilnahme an den Übungen erfolgreiche Bearbeitung von mindestens 50 % der Übungsaufgaben, Abgabe in Zweiergruppen ist erlaubt. Vorbereitung und mündliche Präsentation von mindestens zwei Übungsaufgaben Bestehen der Abschlussprüfung (Klausur oder mündliche Prüfung)