Go backward to Semantics of TermsGo up to TopGo forward to Operational Interpretation |

Term `x` + (`y` + 0).

- Domain "natural numbers".
- Object constant 0 interpreted as "zero".
- Binary function constant + interpreted as addition.
- Assignment [
`x`|-> "one",`y`|-> "two"]. gives natural number "three" as meaning. - Assignment [
`x`|-> "one",`y`|-> "zero"] gives natural number "one" as meaning.

- Domain "character strings".
- Object constant 0 interpreted as "empty string".
- Binary function constant + interpreted as string concatenation.
- Assignment [
`x`|-> "hi, ",`y`|-> "babe"] gives string "hi, babe" as meaning.

*Semantics of a term depends on domain and variable assignment.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999