Honors Programming Languages (G22.3110), Fall 97

TA: ?

Topic 1. SETL, an imperative language based on a computable finite set theory and designed for algorithm specification and system prototyping;
Topic 2. Formal Semantics using operational, denotational, and axiomatic approaches;
Topic 3. logic programming and Prolog;
Topic 4. ML

G. Winskel, The Formal Semantics of Programming Languages, MIT Press, 1996.
L. Paulson, ML for the Working Programminer, Cambridge U. Press, 1996, in soft cover.