Fach | Informatik |
Kursnummer | 1812 |
Autor | Knoop, J. |
Titel | Programmanalyse: Prinzipien und Anwendungen |
Jahr | 2002 |
Signatur | AKMH/INF |
Kurseinheiten | ||
Nr. | Titel | Invent.-Nr. |
01 | Motivation und Überblick | 02 / S 68 |
02 | Datenflussanalyse | 02 / S 94 |
03 | Constraint-basierte Analyse | 02 / S 108 |
04 | Abstrakte Interpretation | 02 / S 120 |
05 | Typ- und Effektsysteme | 02 / S 134 |
Ihr Kontakt: Christoph Spieker