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