operational semantics


Also found in: Wikipedia.

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.
References in periodicals archive ?
The system will change the operational semantics from "reference-point" to "accurate targeting" for optimized mission success.
Also covered are non-interleaving operational semantics for geographically replicated databases, and computing origami universal molecules with cyclic tournament forests.
Our journey is to get set of feature capabilities, behaviors, operational semantics and so forth.
Next, the concolic execution module gets the operational semantics of BIL instruction and updates the concolic execution state.
The topics include data linkage dynamics with shedding, modeling proteolysis from mass spectrometry proteomic data, big-step operational semantics revisited, the asymptotic analysis of a semelparous species model, the logic of persistent intersection, and a computer scientist's guide to the regulation genome.
There exists several platforms or languages that can be used to develop services, such as UML (6), BPEL or WE First, we present the syntax and operational semantics of our interface model.
write that the new languages make the communication and interaction structure of a business process explicit (WSFL and XLANG possess an operational semantics that enables the orchestration engine to directly execute the flow models specified in the language).
Other subjects include flexible flow shop scheduling by intelligence multi-agents, operational semantics for ASSL, and extending the UML metamodel to provide support for crosscutting concerns.
The ontological level forms a bridge between interpretative semantics where users interpret terms and operational semantics where computers handle symbols (Dechilly, 2000).
This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics.
In fact, in the operational semantics, there could be two refutations for a goal which lead to different semiring elements which are not comparable in the partial order.
Operational Methods in Theoretical Computer Science," by Priami, examines the advantages of structured operational semantics (SOS) over other semantic techniques, and proposes their use in designing languages for programming the Web, the design of domain-specific languages, and relating programming and specification languages.

Full browser ?