Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
operational semantics
Jump to user comments
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.