WS 2005/2006 Kurs 01812 "Programmanalyse: Prinzipien und Anwendungen"

| nach unten den Inhalt überspringen |

Autoren/innen

Univ.- Prof. Dr. Knoop

Betreuung

E-Mail an: Dr. Daniela Keller
weitere Hinweise zur Betreuung

Informationshefte

Studienmaterial

Leittexte zu den Kurseinheiten

Grundlage des Kurses ist das Buch
Flemming Nielson, Hanne Riis Nielson, Chris Hankin:
Principles of Program Analysis
Springer Verlag, Heidelberg, 1999,

das Sie sich selbst besorgen müssen.
Angaben zu Beschaffung und Verwendung finden Sie im Informationsheft.
Weitere Zusatzliteratur finden Sie in der Navigationsleiste unter Ergänzungen.

Kurseinheiten

Kurseinheiten
Nr. Titel Aufgaben Lösungen
1 Motivation und Überblick Übung 1 Musterlösung 1
2 Datenflussanalyse Übung 2 Musterlösung 2
3 Constraint-basierte Analyse Übung 3 Musterlösung 3
4 Abstrakte Interpretation Übung 4 Musterlösung 4
5 Typ- und Effektsysteme Übung 5 Musterlösung 5

Newsgroups

news://feu.informatik.kurs.1812.diskussion

Umfang

Kurs: 2 SWS

Übungen: 1 SWS

Bearbeitungsbeginn: 03.10.05

Letzte grundlegende Überarbeitung: WS 2002/2003

Nächster geplanter Einsatz: WS 2005/2006

 

| nach oben den Inhalt überspringen |