Fundamentals of Computer Science I (CS151 2003F)

Class 19: Preconditions and Postconditions

Back to Recursion with Lists (2). On to Recursion with Natural Numbers (1).

Held: Monday, 29 September 2003

Summary: Today we consider an important program design issue: the use of preconditions and postconditions to document our procedures. We also see how to use the error procedure to report errors and the husk-and-kernel technique to catch errors.

Related Pages:

Assignments

Notes:

Overview:

The Need for Documentation

Robustness; Testing Preconditions

An Example: Summing Squares

Husk and Kernel Programming

Lab

 

History

Thursday, 28 August 2003 [Samuel A. Rebelsky]

 

Back to Recursion with Lists (2). On to Recursion with Natural Numbers (1).

Disclaimer: 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 Dec 9 13:59:41 2003.
The source to the document was last modified on Mon Sep 1 13:30:51 2003.
This document may be found at http://www.cs.grinnell.edu/~rebelsky/Courses/CS151/2003F/Outlines/outline.19.html.

You may wish to validate this document's HTML ; Valid CSS! ; Check with Bobby

Samuel A. Rebelsky, rebelsky@grinnell.edu