operational semantics
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of operational semantics words
- noun Technical meaning of operational semantics (theory) 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. 1
Information block about the term
Parts of speech for Operational semantics
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with o
- Words starting with op
- Words starting with ope
- Words starting with oper
- Words starting with opera
- Words starting with operat
- Words starting with operati
- Words starting with operatio
- Words starting with operation
- Words starting with operationa
- Words starting with operational
- Words starting with operationals
- Words starting with operationalse
- Words starting with operationalsem
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?