SCMS Home
        Page Introduction to the Sather Libraries Sather Home
      Page

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 -

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.

Specification Index

Comments or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 16 May 2000.
Produced with Amaya