Held: Tuesday, 4 March 2003
Summary: Today we consider weakest preconditions, a tool for describing the meaning of statements.
http://www.cs.grinnell.edu/~rebelsky/Courses/CS153/2003S/Examples/dicegame.cgifor the example. (You can find the underlying Scheme code by substituting
lecture. I'll have you pass the responsibility regularly.
Tuesday, 7 January 2003 [Samuel A. Rebelsky]
Tuesday, 4 March 2003 [Samuel A. Rebelsky]
I usually create these pages
on the fly, which means that I rarely
proofread them and they may contain bad grammar and incorrect details.
It also means that I tend to update them regularly (see the history for
more details). Feel free to contact me with any suggestions for changes.
This document was generated by
Siteweaver on Fri May 2 14:20:41 2003.
The source to the document was last modified on Tue Mar 4 13:57:57 2003.
This document may be found at