Universität Karlsruhe
Übersetzerbau II

Achtung: Diese Seite enthällt die Folien vom Vorjahr. Diese sind mit alt gekennzeichnet. Sie können als Vorabinformation dienen; insbesondere zum Ausdrucken vor der Vorlesung. Nach der jeweiligen Vorlesung werden die überarbeiteten Folien online gestellt.

Folien

Foliensatz Version Inhalt Dateien
1
26.04.06
Einleitung und Verifikation von Übersetzern PDF/4 PDF
2
extern
Einführung in die Datenflussanalyse PDF
3
extern
Datenflussanalyse PDF
4
extern
Algorithmen zur Datenflussanalyse PDF
5
alt
Speicher-SSA PDF/4 PDF
6
alt
Chi-Terme PDF/4 PDF
7
22.06.06
Lowering von SSA-Darstellungen PDF/4 PDF
8
22.06.06
Registerzuteilung auf SSA-Darstellungen PDF/4 PDF
9
20.07.06
Cache-Optimierungen PDF/4 PDF
10
28.08.06
Nebenläufige Sprachen PDF/4 PDF

Weiterführende Literatur:

Bemerkungen:

Es gibt hier eine Vorlesungsseite von Nielson & Nielson, auf der die Vorlesungsfolien zum Thema Programmanalysen (in einer neueren Fassung) zu finden sind.

Unter pag.cs.uni-sb.de wird das PAG (Program Analysis Generator) Projekt vorgestellt. Die Analysen lassen sich formal beschreiben, und aus dieser Spezifikation wird dann ein Algorithmus zur Analyse erstellt. Verschiedene Analysen sind schon spezifiziert und lassen sich interaktiv ausführen.

Verantwortlich für den Inhalt: Sebastian Hack und Rubino Geiß

Login
Links