| slovo | definícia |
standard interpretation
(foldoc) | standard semantics
standard interpretation
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.
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4