CS 565 Fall 1996 Schedule

CS 565 Schedule

The course has four parts: Homework is assigned on Wednesdays 12 Noon. Solutions are due on Wednesday 11:45 AM the following week, and they will be given back in graded form on the Monday five days later. Late homework will not be accepted. Homework solutions must state (1) the name and computer-login-id of the submitter, (2) the homework number, and (3) the date of submission. Submit your homework to the main office, CS 164.

The Midterm exam is Wed Oct 16, 7-9 PM, LAEB 2290.

The term project is assigned on Thursday Nov 14. Solutions are due on Wednesday Nov 27, 11:45 AM, and they will be given back in graded form on Thursday Dec 5. Late term projects will not be accepted.

The Final exam is Wed Dec 11, 7-9 PM, UNIV 317.

Acknowledgment: The lecture notes for the first six weeks are adapted from notes written by Professor Mitchell Wand, Northeastern University.
Tue Aug 20, Thu Aug 22:
Programming in Scheme.
Read: EOPL Chapters 1-2.
Lecture note 1. (For printing)
Homework due on Wed Aug 28.
Solutions

Tue Aug 27, Thu Aug 29:
Data types and their representations.
Read: EOPL Chapters 3.4-3.6.
Lecture note 2. (For printing)
System notes. (For printing)
Homework due on Wed Sep 4.
Solutions

Tue Sep 3, Thu Sep 5:
Reasoning about programs.
Read: EOPL Chapter 4.
Lecture note 3. (For printing)
Homework due on Wed Sep 11.
Solutions

(No classes on Tue Sep 10 and Thu Sep 12: thanks to the Midterm exam.)

Tue Sep 17, Thu Sep 19:
Interpreters.
Read: EOPL Chapter 5.
Lecture note 4. (For printing)
Supplement to lecture note 4. (For printing)
Homework due on Wed Sep 25.
Homework, Extra Credit due on Wed Sep 25.
Solutions

Tue Sep 24, Thu Sep 26:
Continuations.
Read: EOPL Chapters 8.1-8.5, 9.1.
Lecture note 5. (For printing)
Homework due on Wed Oct 2.
Solutions

Tue Oct 1, Thu Oct 3:
More continuations.
Read: EOPL Chapters 9.2, 10.1, 10.2, 10.3.
Lecture note 6. (For printing)
Supplement to lecture note 6. (For printing)
Homework due on Wed Oct 9.
Solutions

(No class on Tue Oct 8: Octoberbreak.)

Thu Oct 10:
Object-oriented programming.
Read: EOPL Chapter 7, OOTS Chapters 1-2.
Lecture note 7. (For printing)
Homework due on Wed Oct 16.
Solutions

Midterm exam:
Date: Wed Oct 16, 7-9 PM.
Place: LAEB 2290 (Liberal Arts and Education Building).

Tue Oct 15, Thu Oct 17:
Type checking.
Read: OOTS Chapters 3-4.
Lecture note 8. (For printing)
Homework due on Wed Oct 23.
Solutions

Tue Oct 22, Thu Oct 24:
Control-flow analysis.
Read: OOTS Chapter 5.
Lecture note 8 also covers this week.
Homework due on Wed Oct 30.
Solutions

Tue Oct 29, Thu Oct 31:
Type rules and constraints.
Read: Lecture note 10.
Lecture note 10.
Homework due on Wed Nov 6.
Solutions

Tue Nov 5, Thu Nov 7:
Subtyping
Read: ``Efficient Recursive Subtyping''.
Lecture note 11.
Homework due on Wed Nov 13.
Solutions

Tue Nov 12, Thu Nov 14:
Java.
Read: Any good book on Java.
Lecture note 12.
Term project due on Wed Nov 27.

(No classes on Tue Nov 19 and Thu Nov 21: projectwork.)

(No class on Tue Nov 26: projectwork)

Wed Nov 27, 12 PM:
Project due.

(No class on Thu Nov 28: Thanksgiving)

Tue Dec 3:
Summary of the course.

Thu Dec 5:
Questions and answers. Repetition of selected material. Giving back graded term projects.

Final exam:
Date: Wed Dec 11, 7-9 PM.
Place: UNIV 317.