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.
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.