Standard semantics
The standard interpretation of a term in some language yields the term's standard denotational semantics, i.e. its "meaning". This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain.
The domain is the interpretation of the term's type.
The semantic function also takes an environment - a function which maps the free variables of the term to their meaning.
We say that a domain point "denotes", or "is the denotation of", a term.
A non-standard semantics results from some other interpretation, e.g. an abstract interpretation.
| < Previous Terms | Terms Containing standard semantics | Next Terms > |
| standard interpretation standard I/O Standard Lisp Standard ML Standard ML of New Jersey |
Computational Adequacy Theorem denotational semantics standard interpretation standard semantics |
Stanford Artificial Intelligence Laboratory Stanford Artificial Intelligence Language Stanford Research Institute Stanford University STAPLE |
