| slovo | definícia |
operational semantics
(foldoc) | operational semantics
A set of rules specifying how the state of an actual
or hypothetical computer changes while executing a program.
The overall state is typically divided into a number of
components, e.g. stack, heap, registers etc. Each rule
specifies certain preconditions on the contents of some
components and their new contents after the application of the
rule.
It is similar in spirit to the notion of a Turing machine,
in which actions are precisely described in a mathematical
way.
Compuare axiomatic semantics, denotational semantics.
(1996-08-21)
|
| |
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