SCMS Home    
                Page

Sather Specification

Sather Home
      Page

This specification assumes that the reader has some familiarity with standards for programming languages on the format of which this document is based.

The abstract syntax, static semantics and meaning functions are described both in English and also using the Vienna Definition Method - Specification Language (vdm-sl). If there is an apparent discrepancy between the two when both are provided then the vdm-sl is deemed to be correct. See, however, the vdm-sl usage notes.

During the period while this specification is still in draft form then individual elements of the specification may be defined in only one of the ways described above. Other elements will be missing!.

Until this warning is removed this specification is in draft form only unless for some particular element the annotation that it is final has been added.


Section Contents

  Introduction
Scope
References to Standards
Definitions and Conventions
Requirements for Implementations
The Lexis
The Language
Pervasive Classes
The Required Library
 
Annexes
Minimum Limit Specifications
Collected Concrete Syntax
Collected Abstract Syntax
Default Lexical Token Reference
Glossary
History

Specifications Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Wednesday, 17 May 2000.
Produced with Amaya