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.
(1996-08-21)

Tagged:

Read Also:

  • Operational test and evaluation

    testing (OT&E) Formal testing conducted prior to deployment to evaluate the operational effectiveness and suitability of the system with respect to its mission. (1997-01-07)

  • Operational testing

    testing A US DoD term for testing performed by the end-user on software in its normal operating environment. (1997-01-07)



  • Operation barbarossa

    noun 1. the codename for Hitler’s invasion (1941) of Russia

  • Operation code

    programming (Always “op code” when spoken) The part or parts of a machine language instruction which determines what kind of action the computer should take, e.g. add, jump, load, store. In any particular instruction set certain fixed bit positions within the instruction word contain the op code, others give parameters such as the addresses or […]



Disclaimer: Operational 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.