Vorlesung Programmanalysen und Compilerbau (3V+1Ü)
Dozent
Prof. Dr. E. Plödereder (Vorlesung)
Stefan Staiger (Übungen)
Termine und Ort
- Wir sind stets im Hörsaal 38.03
- Mo 11:30 - 14:00 Uhr Vorlesung
- Di 11:30 - 14:00 Uhr im Wechsel Vorlesung und Übung
Beschreibung
Selektive Vertiefung der Inhalte der "Grundlagen der Programmiersprachen und Übersetzer"
für die Realisierung von Programmanalysen und insbesondere für den Bau von Compilern:
Methoden und Realisierung der semantischen Analyse, Symboltabellen, semantische Attributierungen,
Umsetzung dynamischer Semantik in Zwischencode, prinzipielle Speichervergabe;
Kontroll- und Datenflussanalyse; lokale und globale Optimierungen, Registervergabe, Codeerzeugung;
Laufzeitsysteme; separate Übersetzung und Bibliotheksmechanismen.
Voraussetzungen
Die Inhalte der Vorlesung "Grundlagen der Programmiersprachen und Übersetzer" sind
notwendige Voraussetzung. Grundkenntnisse in der Graphentheorie sind hilfreich.
Aktuelles
Neu (25.02.08): Alle Folien online (s. unten)
Übungsblätter
Blatt 1 (PDF) (Besprechung am 23.10.) Zu 1.4
Blatt 2 (PDF) (Besprechung am 06.11.)
Blatt 3 (PDF) (Besprechung am 20.11.) Zu 3.3, zu 3.3b
Blatt 4 (PDF) (Achtung Terminänderung: Besprechung am 11.12.)
Blatt 5 (PDF) (Besprechung am 18.12.)
Blatt 6 (PDF) (Besprechung am 15.01.)
Zu 6.1: CFG,
Gültige Definitionen & Aktive Variablen,
Lebensbereiche (d zusammenfassen),
Konfliktgraph
zu 6.3: ICFG mit Exceptions
Blatt 7 (PDF) (Besprechung am 29.01.)
Zu 7.1,
Zu 7.2,
Kostenvektoren zu 7.3,
Resultat für 7.3
Blatt 8 (PDF) (Besprechung am 12.02.)
Literatur
Folien (WS 07/08, komplett): PDF-Version
Skript (vom WS 06) (absichtlich nicht druckbar): PDF-Version
Steven S. Muchnick:
Advanced Compiler Design and Implementation, Morgan Kaufmann (1997)
|
Admin