Assigned; Tuesday, 4 February 2003
Due; Monday, 10 February 2003
Summary: In this assignment, you will
all the exercises from the lab on
preconditions and postconditions.
Purposes: To give you more experience in thinking
about preconditions, postconditions, the
and husk-and-kernel programming.
Collaboration: You should work in groups of two or three. You may not work alone. You may not work in groups of four. You may discuss your work and the assignment with anyone you wish. You may obtain help from anyone you wish, but you should clearly document that help (perhaps with an extra citations page).
Turning it in: Use the ECA's submission service.
Write up all the exercises from the lab on preconditions and postconditions.
Tuesday, 4 February 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 Tue May 6 09:20:09 2003.
The source to the document was last modified on Tue Feb 4 21:36:57 2003.
This document may be found at