- Vertiefungsmodul INF-MSc-303 im SoSe 2015
- 4 SWS - 6 Credits
- Vertiefungsmodul in den Masterstudiengängen Informatik und Angewandte Informatik
Forschungsbereich Software, Sicherheit und Verifikation - Wahl-LV im Hauptstudium der Diplomstudiengänge Informatik und Angewandte Informatik
Schwerpunktgebiete 1, 4 und 5 - Termine: Mo 14:15-15:45 + Fr 10:15-11:45 im OH 12, Raum 3.031
- Beginn: 10. 4. 2015
- Inhalt: Die LV behandelt Techniken der syntaktischen und semantischen Analyse sowie Übersetzung von durch kontextfreie Grammatiken beschriebenen Sprachen. Einzelthemen sind die Konstruktion von Parsern mit Parserkombinatoren, Compilerverifikation, mehrpässige Attributierung von Syntaxbäumen, Optimierung durch Syntaxbaumtransformation und Flussgraphanalyse, allgemeine Lösungen von Datenflussaufgaben sowie der Lambda-Kalkül als Zwischensprache bei der Übersetzung funktionaler Programme.
- Kompetenzen: Neben speziellen Analyse- und Übersetzungsverfahren lernen die Studierenden Bäume und Graphen als Repräsentationen von Programmen kennen und weiterhin, wie diese Repräsentationen erzeugt werden und sich auf ihrer Basis algorithmische Lösungen verschiedener Übersetzungs- und Analyseprobleme sowohl generisch als auch effizient formulieren lassen.
- Material:
- Kapitel 13, 14, 16, 18 und 19 der Übersetzerbau-Folien
- Kapitel 6 bis 9 des Übersetzerbau-Skriptes
- Andrew Appel, Modern Compiler Implementation in ML, Cambridge University Press 1998
- Syntaxbaum- und Datenflussgraphtransformationen mit Expander2
Datenfluss in Expander2:
Anfangs- und Endzustand einer Berechnung von fact(3)
Anfangs- und Endzustand einer Berechnung von fact(3)
