 |
Introduction
to the Sather Libraries |
 |
The concept of multiple libraries has been embodied into this
implementation. In accordance with the concept of removing all of the classes
but those necessary to define the language, the library classes used as a
fundamental component of every day programming have been incorporated into the
mandatory component of any implementation - known as the Required Library.
It is expected that the 'standard' Sather distribution will include the
following libraries which are expected to be self-contained except for
necessary reliance on the required library -
- Required
- Windows
- Devices
- Network
- Maths
- Graphics
- External
NOTE |
All library specifications are given by expressing pre-conditions
and post-conditions for each feature. These are given in vdm-sl since it is
a formally defined notation for specifying semantics of operations,
etc. |
Comments
or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 16 May 2000.
|
 |