Word:

operational semantics

(theory)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.
Browse
operating system
Operating System/360
Operating System/Multiprogramming of Fixed Tasks
operating table
operating theater
operating theatre
Operation
operation code
Operation Desert Storm
Operation of law
operational
operational casualty
operational cell
operational damage
operational database
operational requirements
-- operational semantics --
operational test and evaluation
operational testing
operationalism
operationalist
operationally
operations
operations research
Operative
operative field
Operatively
Operator
Operator Control Language
operator gene
operator overloading
Operatory
Opercle
Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home