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