CS 641 units -*- Outline -*- History in 1990 the course focused on denotational semantics and type theory. see the directory fall90 for more information in 1992, we used the book Essentials of Programming Languages, and worked with lambda prolog and type inference. see the directory fall92 for more information. in 1994 the emphasis is on axiomatic sematics see below... * introduction * Verification using E. Cohen. Programming in the 1990s. Springer-Verlag, 1990. ** verification-intro ** predicate-calculus ** verification * Predicate transformer semantics using Wim Hesselink. Programs, Recursion and Unbounded Choice. Cambridge, 1992. ** weakest-preconditions ** annotation-rec-rept ** healthiness-laws ** sem-recursion