@(#)$Id: objectives.txt,v 1.1 1995/09/14 18:03:19 leavens Exp $

The objectives of this exercise are to help you learn about:

the form of a Larch/C++ function specification
the importance of preconditions
the importance of checking boundary conditions (thanks to Don Sannella!)


The extra exercises help you learn about:

the specification of double precision numbers in Larch/C++
reference parameters and state functions
global variables and state functions