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.


Read Also:

  • Standard solution

    standard solution n. A solution of known concentration, used as a standard of comparison or analysis.

  • Standard temperature

    standard temperature n. A temperature of 0°C or 273 Kelvin.

  • Standard-temperature-and-pressure

    noun, (used with a plural verb) 1. the temperature of 0°C and pressure of 1 atmosphere, usually taken as the conditions when stating properties of gases. Abbreviation: STP.

  • Standard-time

    noun 1. the civil time officially adopted for a country or region, usually the civil time of some specific meridian lying within the region. The standard time zones in the U.S. (Atlantic time, Eastern time, Central time, Mountain time, Pacific time, Yukon time, Alaska-Hawaii time, and Bering time) use the civil times of the 60th, […]

Disclaimer: Standard semantics definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.