By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions