CS 565 Spring 1997 Schedule

CS 565 Schedule

The course has four parts: Homework is assigned on Thursdays 12 Noon. Solutions are due on Thursday 11:45 AM the following week, and they will be given back in graded form on the Wednesday six 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, or electronically (see the newsgroup for details each week).

The Midterm exam is on Tue Mar 18, 7-9 PM, UNIV 303.

The term project is assigned on Friday Apr 11. Solutions are due on Friday Apr 25, 11:45 AM, and they will be given back in graded form on Friday May 2. Late term projects will not be accepted.

The Final exam is Fri May 9, 10:20-12:20, CS G066.

Acknowledgment: The lecture notes for the first six weeks are adapted from notes written by Professor Mitchell Wand, Northeastern University.

Lectures:

Mon Jan 13, Wed Jan 15, Fri Jan 17:
Programming in Scheme.
Read: EOPL Chapters 1-2.
Lecture note 1. (For printing)
Homework due on Thu Jan 30.
Solutions

Wed Jan 22, Mon Jan 27, Wed Jan 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 Thu Feb 6.
Solutions

Mon Feb 3, Wed Feb 5, Fri Feb 7:
Reasoning about programs.
Read: EOPL Chapter 4.
Lecture note 3. (For printing)
Homework due on Thu Feb 13.
Solutions

Mon Feb 10, Wed Feb 12:
Interpreters.
Read: EOPL Chapter 5.
Lecture note 4. (For printing)
Supplement to lecture note 4. (For printing)
Homework due on Thu Feb 20.
Solutions

Wed Feb 19, Fri Feb 21:
Continuations.
Read: EOPL Chapters 8.1-8.5, 9.1.
Lecture note 5. (For printing)
Homework due on Thu Feb 27.
Solutions

Mon Feb 24, Wed Feb 26, Fri Feb 28:
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 Thu Mar 6.
Solutions

Mon Mar 3, Wed Mar 5, Fri Mar 7:
Object-oriented programming and type checking.
Read: EOPL Chapter 7, OOTS Chapters 1-4.
Lecture note 7. (For printing)
Lecture note 8. (For printing)
Homework due on Thu Mar 20.
Solutions

Mon Mar 17, Wed Mar 19, Fri Mar 21:
Control-flow analysis.
Read: OOTS Chapter 5.
Lecture note 8 also covers this week.
Homework due on Thu Mar 27.
Solutions

Mon Mar 24, Wed Mar 26, Fri Mar 28:
Type rules and constraints.
Read: Lecture note 10.
Lecture note 10.
Homework due on Thu Apr 3.
Solutions

Mon Mar 31, Wed Apr 2, Fri Apr 4:
Subtyping
Read: ``Efficient Recursive Subtyping''.
Lecture note 11.
Homework due on Thu Apr 10.
Solutions

Mon Apr 7, Wed Apr 9, Fri Apr 11:
Java.
Read: Any good book on Java.
Lecture note 12.
Term project due on Fri Apr 25.

Wed Apr 30:
Summary of the course.

Fri May 2:
Questions and answers. Repetition of selected material. Giving back graded term projects.