Übersetzerbau
Wintersemester 2011/2012
Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion
Hauptstudium
Nr. |
Art |
Termine |
Raum |
Veranstalter |
080132 |
V4 |
Di 12:15 - 14:00 |
LMS2 - R.Ü1 |
Hanus |
|
|
Do 10:15 - 12:00 |
LMS2 - R.Ü1 |
|
080135 |
Ü2 |
Mi 16:15-17:45 |
WSP3 - R.2 |
Reck |
Vorlesungsbeginn
Dienstag, 25.10.2011, 12:15 Uhr, LMS2 - R.Ü1
Zielgruppe
Studierende im Hauptstudium des Studiengangs Diplominformatik oder
im Masterstudiengang Informatik
sowie Studierende mit Nebenfach Informatik
Voraussetzungen
Grundstudium (1.-4. Semester) in Informatik
Inhalt
Die Übersetzung von Programmiersprachen ist eine wohldefinierte
aber dennoch komplexe Aufgabe. Zur Beherrschung dieser Komplexität
wurde eine Zerlegung in einzelne Übersetzungsaufgaben
entwickelt, die heute in dieser oder ähnlicher Form
in den meisten Übersetzern verwendet wird. In dieser
Vorlesung werden die einzelnen Übersetzungsaufgaben
und die bekannten Lösungsansätze dazu vorgestellt.
Im Einzelnen werden behandelt:
- Programmiersprachen, Interpreter, Übersetzer
- Lexikalische Analyse
- Syntaktische Analyse
- Semantische Analyse
- Codeerzeugung
Ergänzende Materialien zur Vorlesung
-
25.10.11: Folien zur Einführung (PDF)
-
25.10.11: Programm zur Darstellung von Simple-Programmen
(Haskell-Programm)
-
29.11.11: Happy-Spezifikation eines Simple-Interpreters für Zuweisungen
(Happy-Spezifikation)
-
29.11.11: Happy-Spezifikation eines Simple-Interpreters mit Ausgaben
(Happy-Spezifikation)
Skript
(nur innerhalb der Informatik-Domain zugreifbar!)
Literatur
-
A. Aho, M. Lam, R. R. Sethi, J.Ullman:
Compiler - Prinzipien, Techniken und Werkzeuge (2. Auflage),
Pearson Education, 2008
-
A. Aho, M. Lam, R. Sethi, J.Ullman: Compilers: principles, techniques,
and tools (2nd ed.), Pearson Education, 2007
- A. Appel: Modern compiler implementation in ML, Cambridge UP, 1997
- R.H. Güting, M. Erwig: Übersetzerbau, Springer 1999
- W. Waite, G. Goos: Compiler Construction, Springer, 1984
-
R. Wilhelm, D. Maurer: Übersetzerbau: Theorie, Konstruktion, Generierung,
Springer, 1992
- N. Wirth: Grundlagen und Techniken des Compilerbaus, Oldenbourg, 2008
Michael Hanus