Work Note 19, DM509, fall 2008
Lecture December 15
-
Checking Types.
-
Reasoning about Programs.
Background
material: [T99] (will be distributed in class) and [H07, Chapter 13].
Last modified: Wed Dec 10 09:16:11 CET 2008
Kim Skak Larsen
(kslarsen@imada.sdu.dk)