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

Weiterführende Literatur:

• B. Calder, D. Grunwald, B. Zorn, "Quantifying Behavioral Differences Between C and C++ Programs", Journal of Programming Languages, 1994.
• Literatur v.a. zum Thema Cache Optimierungen gibt es hier

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ß