# Sather Specification

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
1 | Scope
2 | References to Standards
3 | Definitions and Conventions
4 | Requirements for Implementations
5 | The Lexis
6 | The Language
7 | Pervasive Classes
8 | The Required Library
Annexes
A | Minimum Limit Specifications
B | Collected Concrete Syntax
C | Collected Abstract Syntax
D | Default Lexical Token Reference
E | Glossary
F | History

| Specifications Index

Comments or enquiries should be made to Keith Hopper . Page last modified: Wednesday, 17 May 2000. |