| 11/18/05 | More denotational practice added to assignments page |
| 10/31/05 | Due date for assignment 4 extended until Nov. 4th, before 5:00pm |
| 10/20/05 | Sample answers for assignment 3 are posted. |
| 9/28/05 | Assignment 2 answers are posted, Assignment 3 is posted. A new section on soundness of the Hoare axioms has been added. The gcd example has been added to the practice problems for axiomatic semantics, as well as an answer. |
| 9/16/05 | Assignment 1 answers are posted. Assignment 2 is posted. |
| 9/6/05 | A new on proving properties with operational semanatics has been added, and new notes for it |
| 9/2/05 | The notes for functions have currying added. A new section showing a linear proof of a simple loop has been added to operational semantics. |
| 8/24/05 | The textbook by Slonneger and Kurtz is referenced on the page for operational semantics |
| 8/22/05 | Welcome to CS571. Please spend some time to browse through the site and make yourself familiar with it |
