What's New
| 12/21/06 | The final grades have been posted. Have a nice break! |
| 12/12/06 | A sample solution for Homework 7 has been posted. |
| 12/12/06 | The grades for Homework 7 have been posted. Graded homework are available at Naomi's desk in 14 MLH. |
| 12/09/06 | The solution for Homework 6 now includes solutions for Question 1. |
| 12/06/06 | The list of required readings for the final exam is now available in the Exams section. |
| 12/05/06 | A sample solution for Homework 6 has been posted. |
| 12/05/06 | The grades for Homework 5 have been posted. |
| 12/05/06 | A sample solution for Homework 5 has been posted. |
| 12/01/06 | Homework 7 is out. It is due on Fri, Dec 8 by 7pm. |
| 11/28/06 | The grades for Homework 5 have been posted. |
| 11/18/06 | Homework 6 is out. It is due on Thu, Nov 30 by 7pm. |
| 11/11/06 |
Part 2 of Homework 5 is now available. Please download the file hw5.pdf again from WebCT. Note that Part 2 does not depend on Part 1 and does not require any OCaml coding. |
| 11/09/06 | Homework 5 is out. It is due on Thu, Nov 16 by 7pm. The second part of the homework will be posted later. |
| 10/31/06 | For those who are interested, more information about Microsoft Research's Spec# project can be found here. This project is largely inspired by the pioneering ESC/Java project at Digital Research. The current successor of ESC/Java is ESC/Java 2 an open source project of the University of Dublin. |
| 10/30/06 | A sample solution for the midterm has been posted in the Assignments section of WebCT. |
| 10/27/06 | The grades for the midterm have been posted. |
| 10/23/06 | A sample solution for Homework 4 has been re-posted. |
| 10/23/06 | The grades for Homework 4 have been posted. |
| 10/17/06 | The sample solution for Homework 4 has been removed because one of the proofs had a mistake. An amended solution will be posted later. |
| 10/17/06 | A sample solution for Homework 4 has been posted. |
| 10/16/06 | The list of required readings for the midterm is now available in the Exams section. |
| 10/12/06 | The grades for Homework 3 have been posted. |
| 10/10/06 | A sample solution for Homework 3 has been posted. |
| 10/06/06 | Homework 4 is out. It is due on Frid, Oct 13 by 7pm. |
| 10/04/06 | A clarification on Homework 3 has been posted on the WebCT bulletin board. Please check it out. |
| 09/29/06 | The midterm will be on Thu, Oct 19 2006, in class. Check the Exams section for more in formation on it. |
| 09/29/06 | The grades for Homework 2 have been posted in the My Grades section of WebCT. |
| 09/28/06 | A sample solution for Homework 2 has been posted in the Assignments section of WebCT. |
| 09/27/06 | If you had trouble this morning downloading Homework 3, please try again. That should work now. |
| 09/26/06 | Homework 3 is out. It is due on Frid, Oct 6 by 7pm. |
| 09/12/06 | The grades for Homework 1 have been posted in the My Grades section of WebCT. The grades show two columns. The one called Hw1 shows your actual grade. The one called Hw1n shows your grade as a percentage of the highest possible grade for the homework. |
| 09/12/06 | A sample solution for Homework 1 has been posted in the Assignments section of WebCT. |
| 09/08/06 | Homework 2 is out. It is due on Wed, Sep 20 by 7pm. |
| 09/08/06 | The OCaml section has been updated with a new entry. Also, entries with broken links have been removed. |
| 09/08/06 | The Readings section contains an updated file with the OCaml examples seen in class yesterday. It also contains a second file of examples that we will discuss on Tuesday and provides an OCaml interpreter for IMP's operational semantics. |
| 09/02/06 | The Exercises section contains an initial set of exercises for you to practice with. Check that section regularly from now on because new exercises will be added as we go. |
| 08/29/06 |
Homework 1 is out.
You can download it from the Assignments section of
WebCT.
Contact the instructor by email immediately
if you have problems accessing WebCT.
The homework is due on Thu, Sep 7 by 7pm. I should be submitted electronically via the Assignments section of WebCT. |
| 08/29/06 | Effective today we have a new classroom: 218 PH (one floor down the original one). |
| 08/28/06 |
Welcome to the 22c:185 web site!
Please check this section on a regular basis for announcements, or for updates to the other sections of the site. |