Analiza programów komputerowych

Semestr letni 2004/05

Wykład

Środa 14:15-16:00, sala 32

Ćwiczenia:

Środa 12:15-14:00, sala 56 (grupa WCH)
Poniedziałek 16:15-18:00, sala 56 (grupa LPA)

Hydepark

Listy zadań: 1 2 3 4 5 6 7 8 9 10 11

Egzamin odbył się w poniedziałek 13 czerwca od 10:30 do 13:30. Wyniki egzaminu.

Literatura do wykładu

Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis. Są tam też slajdy do wykładów prowadzonych wg tej książki.

Na wykładzie zrobiliśmy rozdzialy 1,2 (bez analizy miedzyproceduralnej i analizy kształtu), 3, 4, 5 (bez analizy regionów i komunikacji).
Na egzamin przygotowuję trzy zadania, każde z innego rozdziału.

System PAG/WWW

Rozwiązanie zadania 2 z egzaminu