Fundamentals of CS I (CS151 2001S) : Outlines

Class 21: Preconditions and Postconditions

Reading: Preconditions and Postconditions. Lab: Preconditions and Postconditions. Back to Pause for Breath. On to Local Bindings.

Held Monday, February 26, 2001


Today we consider an important program design issue: the use of preconditions and postconditions to discuss our structures. We also see how to use the error procedure to report errors.




The Need for Documentation

Robustness; Testing Preconditions

An Example: Sum of Squares

Husk and Kernel Programming




Friday, 12 January 2001

Saturday, 24 February 2001


Back to Pause for Breath. On to Local Bindings.

Disclaimer: I usually create these pages on the fly. This means that they are rarely proofread and may contain bad grammar and incorrect details. It also means that I may update them regularly (see the history for more details). Feel free to contact me with any suggestions for changes.

This page was generated by Siteweaver on Wed May 5 12:14:57 2004.
This page may be found at
You may validate this page's HTML.
The source was last modified Mon Feb 26 08:47:44 2001.