CS 68, Winter 2006: Schedule

This page will be updated daily to weekly with current/upcoming topics. The details are subject to change and are provided without warranty.
 
DateAssignmentsTopicReading
Jan.4W0 out Course overview; Oz intro Mozart-Oz website; browse Ch. 1
Declarative Programming
6F Recursion and iteration 3.1, 3.2
9M0 due; 1 out Accumulation 3.4.2-3.4.6
11W Higher-order programming 3.6
Declarative Model
13F Basic syntax and semantics 2.1, 2.3
16MNo class -- MLK Day
18W1 due; 2 out Parsing 3.4.8
19xTh Semantics 2.2, 2.4
20F More semantics 2.5-2.8
Declarative Concurrency
23M Threads 4.1, 4.2, 4.4
25W2 due; 3 out Streams 4.3
27F Laziness 4.5
Relational and Constraint
30M Relations; search 9.1, 9.2
Feb.1W3 due; proposal out Logic 9.3
2xTh More examples 9.4
3F Constraints 12.1-12.3
Wrap Up 1
6MProposal due Review
8WMidterm exam 1:45-3:45, Room 115 1-4 (open book, notes)
10FNo class -- Winter Carnival
State
13M4 out Cells 6.1-6.3
15W Semantics; reasoning 6.3, 6.4.4, 6.6
Object Oriented
17F Classes; inheritance 6.4.2, 7.1, 7.2, 7.4
20M4 due; 5 out Mechanisms 7.3, 7.6
Non-Declarative Concurrency
22W Message passing concurrency 5.1-5.5
24F Shared state concurrency 8.1-8.3
Types
27M5 due Class cancelled
Mar.1W6 out Type systems; inference Cardelli, "Type Systems" (pdf)
3F Polymorphism; Hindley-Milner
Language presentations: Kelly
Cardelli, "Basic Polymorphic Typechecking" (pdf)
Wrap Up 2
6M Language presentations: Allison, David, Duo, Greg and Megan
8W6 due Language presentations: Darrell, Evan, Erik and Jason, Khanh
8Th Review, discussion (optional) at noon
12SuFinal exam 11:30-1:30 (open book, notes)
 
Mozart/Oz