Example: The semantics of
expressions.
An expression is evaluated to yield a value.
An (integer literal) expression IL
yields
the integer value of IL
The (variable or constant
name) expression V yields the
value of the variable or constant named V
The (binary operation)
expression E1 O E2
yields
the value obtained by applying the binary
operation O to the values yielded by (the evaluation of)
expressions E1
and
E2
etc.