Zur Webseite der Informatik

Abteilung Programmiersprachen und Übersetzerbau

Vorlesung Programmanalysen und Compilerbau

Dozent

Steffen Keul (Vorlesung) Daniel Gerlach (Übungen)

Termine und Ort

  • Wir sind stets im Hörsaal 38.03
  • Di 11:30 - 13:00 Uhr im Wechsel Vorlesung und Übung
  • Mi 14:00 - 15:30 Uhr Vorlesung

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

Baut auf den Inhalten der Vorlesung "Grundlagen der Programmiersprachen und Übersetzer" auf, wobei diese nicht zwingend erforderlich sind. Grundkenntnisse in der Graphentheorie sind hilfreich.

Übungsblätter

Blatt 1: PDF (Besprechung am 02.11.2010)
Blatt 2: PDF (Besprechung am 16.11.2010)
Blatt 3: PDF (Besprechung am 30.11.2010)
Blatt 4: PDF (Besprechung am 15.12.2010
Blatt 5: PDF (Besprechung am 18.01.2011)
Blatt 6: PDF (Besprechung am 01.02.2011)
Blatt 7: PDF (Besprechung am 08.02.2011)

 

Literatur

Skript zur Vorlesung (nur innerhalb des Informatik-Netzes erreichbar): PDF
Zusatzfolien zur Datenflussanalyse: PDF
Alternative Folien zur Berechnung von Dominanzgrenzen: PDF
Animationen zur Code-Generierung: PDF

Steven S. Muchnick: Advanced Compiler Design and Implementation, Morgan Kaufmann (1997)
Uwe Kastens: Übersetzerbau, Oldenbourg Verlag (1990)
Robert Morgan: Building an Optimizing Compiler, Butterworth-Heinemann (1998)
Wilhelm, Maurer: Übersetzerbau, 2. Auflage, Springer Verlag, Berlin (1997)
Aho, Sethi, Ullman: Compilers - Principles, Techniques, and Tools Addison, Wesley (1988)