![]() |
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 may well 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
![]() |
Specifications Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 24 October 2000. |
![]() |