Schedule and outline
Introduction
August 25 (1 lecture)
Reading:
- Chapter 1
Declarative Computation Model
August 27 (4 lectures)
Reading:
- Chapter 2
- Sections 2.1—2.3
- Sections 2.4—2.5
- Sections 2.6—2.7
- Section 2.8
Assignment:
Declarative Programming Techniques
September 10 (6 lectures)
Reading:
- Chapter 3
- Sections 3.1—3.3
- Section 3.4
- Section 3.5
- Section 3.6
- Section 3.7
- Sections 3.8—3.9
Assignments:
- Assignment 2: Lists and sets (due Wednesday, September 23) (grading)
- Assignment 3: Deques, heaps, and difference lists (due Wednesday, September 30) (grading)
- Assignment 4: Matrices and searching (due Wednesday, October 7) (grading)
Declarative Concurrency
October 1 (4 lectures)
Reading:
- Chapter 4
- Sections 4.1—4.2
- Sections 4.3—4.4
- Sections 4.5—4.7
- Sections 4.8—4.10
Assignment:
Message-Passing Concurrency
October 22 (3 lectures)
Reading:
- Chapter 5
- Sections 5.1—5.3
- Sections 5.4—5.6
- Sections 5.7—5.8
Assignment:
Resources:
Explicit State
November 3 (2 lectures)
Reading:
- Chapter 6
- Sections 6.1—6.4
- Sections 6.5—6.7
Object-Oriented Programming
November 10 (4 lectures)
Reading:
- Chapter 7
Relational Programming
December 1 (4 lectures)
Reading:
- Chapter 9
