Language Specification

The language is defined in two levels:
  1. The grammar defines the sequence of symbols that is accepted.
  2. The semantics define what the meaning of each language item is.
The grammar is specified on the grammar page.

The semantics are specified on the following pages: