Slide 6.2: An example Slide 6.4: Semantic functions Home

Syntactic and Semantic Domains

---

Syntactic Domains
The sets being defined are listed first with capital letters denoting elements from the sets. Then the grammar rules are listed that recursively define the elements of the set. For example, the syntactic domains Number and Digit are specified as follows:

    D: Digit
    N: Number

    N ::= N D | D
    D ::= '0' | '1' | ... | '9'

A denotational definition views the syntactic domains as sets of syntax trees whose structure is given by the grammar rules. Semantic functions will be defined recursively on these sets, based on the structure of a syntax tree node.

Semantic Domains
Semantic domains are the sets in which semantic functions take their values. These are sets like syntactic domains, but they also may have additional mathematical structure, depending on their use. For example, the integers have the arithmetic operation ‘+,’ ‘–,’ and ‘*.’ A denotational definition of the semantic domains lists the sets and the operations but usually omits the properties of the operations. An example of a specification of a semantic domain is the following specification of the integers:

    Domain v: Integer = { ..., -2, -1, 0, 1, 2, ...}
    Operations
    +: Integer × Integer → Integer
    –: Integer × Integer → Integer
    *: Integer × Integer → Integer

The name v will be used for a general element from the domain, that is, an arbitrary integer.