| 释义 |
standard semantics standard semanticsThe standard interpretation of a term in some language yieldsthe term's standard denotational semantics, i.e. its "meaning".This is usually given by a semantic function which maps a termin the abstract syntax to a point in some domain. The domainis the interpretation of the term's type. The semanticfunction also takes an environment - a function which maps thefree variables of the term to their meaning. We say that adomain point "denotes", or "is the denotation of", a term. Anon-standard semantics results from some other interpretation,e.g. an abstract interpretation. |