Format of a denotational definition
A denotational definition of a language consists of three parts:
- abstract syntax definition
- semantic algebras
- valuation function - a collection of functions, one for each syntactic domain.
- E.g. Figure 4.1
- What is the meaning of 101 i.e.B [|101 |] ?