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

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

- how the Larch Shared Language (LSL)
  is used in writing interface specifications, as in Larch/C++.


The extra exercises help you learn about:

- other uses for LSL.
- other alternatives to LSL for interface specification.
- the role of the Larch Prover (LP).