CS 603 Tentative schedule

Spring 2008

Date Lecture topic Assignment due

Textbook readings

Lecture notes
Wed, Jan 9 Grammars     grammars.pdf
Mon, Jan 14 Design of an interpreter for Imperative core   Chapter 2 chapter2-impcore.pdf
Wed, Jan 16 "   " "
Mon, Jan 21 MLK Holiday      
Wed, Jan 23 Scheme, implementation of functional programming   Chapter 3 chapter3a-scheme.pdf,
s-expressions.pdf
Mon, Jan 28 " Assignment 1 " chapter3b-scheme.pdf
Wed, Jan 30 "   " "
Mon, Feb 4 "   " chapter3c-scheme.pdf
Wed, Feb 6 " Assignment 2 " chapter3d-scheme.pdf
Mon, Feb 11 "   " "
Wed, Feb 13 Exam 1 (Study guide, Exam, Solution)      
Mon, Feb 18 ML, more implementation of functional programming   Chapter 5 chapter5-ml.pdf
Wed, Feb 20 "   " "
Mon, Feb 25 Smalltalk, implementation of object-oriented programming Assignment 3 Chapter 9 chapter9a-smalltalk.pdf
Wed, Feb 27 "   " chapter9b-smalltalk.pdf
Mon, Mar 3 " Assignment 4  " chapter9c-smalltalk.pdf
Wed, Mar 5 "    " chapter9d-smalltalk.pdf
Mon, Mar 10 "   " chapter9e-smalltalk.pdf
Wed, Mar 12 " Assignment 5 " "
Mar 17 to 21  Spring Break Week      
Mon, Mar 24 Propositional logic     logic.pdf
Wed, Mar 26 Exam 2 (Study guide, Exam, Solution)      
Mon, Mar 31 Predicate logic     "
Wed, Apr 2 Logic programming     "
Mon, Apr 7 Prolog, implementation of logic programming Assignment 6  Chapter 10 chapter10a-prolog.pdf
Wed, Apr 9 "   " chapter10b-prolog.pdf
Mon, Apr 14 "   " chapter10c-prolog.pdf
Wed, Apr 16 "   " chapter10d-prolog.pdf
Mon, Apr 21 Axiomatic semantics   Section 8.6.1 semantics.pdf, axiomatic-solutions.pdf
Wed, Apr 23 Exam 3 (Study guide, Exam, Solution)      
Mon, Apr 28 Denotational semantics     "
Wed, Apr 30 Translational semantics Assignment 7   "
 Tues, May 6 Final exam at 7:00pm to 9:30pm