operational semantics

(theory)A set of rules specifying how the state of an actualor hypothetical computer changes while executing a program.The overall state is typically divided into a number ofcomponents, e.g. stack, heap, registers etc. Each rulespecifies certain preconditions on the contents of somecomponents and their new contents after the application of therule.

It is similar in spirit to the notion of a Turing machine,in which actions are precisely described in a mathematicalway.

Compuare axiomatic semantics, denotational semantics.

单词	operational semantics
释义	operational semantics operational semantics (theory)A set of rules specifying how the state of an actualor hypothetical computer changes while executing a program.The overall state is typically divided into a number ofcomponents, e.g. stack, heap, registers etc. Each rulespecifies certain preconditions on the contents of somecomponents and their new contents after the application of therule. It is similar in spirit to the notion of a Turing machine,in which actions are precisely described in a mathematicalway. Compuare axiomatic semantics, denotational semantics.
随便看	reins a horse up reins back on reinsch reinsch, adolf reinsch test reinsert reinserter reinsertion reinsertion of carrier reins her horse up reins his horse up reins in reinsman reins my horse up reins of a vault rein someone in rein (someone or something) in rein something in reins our horses up reinspect reinspection reinspire reinspirit reinstal re-install