next up previous contents
Next: Meta-notation Up: The Vesta Software Description Previous: Introduction   Contents

Lexical Conventions

The language semantics defined in Section A.3 introduces each language construct by giving its syntax and semantics. This section defines the meta-notation and terminals assumed by the presented syntax fragments. The complete language syntax is given in Section A.4.


Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu