| # Section 6.9: Auxiliary vdm-sl |

This section contains auxiliary vdm-sl describing the state, environment and miscellaneous auxiliary functions and operations relating to them and the vdm-sl model on which this specification is based.

- Program State.
- Execution Environment.
- Functions.
- Operations.

| Specification Index |  | Language Index |  | Section 6 Index

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