operational semantics

Also found in: Wikipedia

0.04 sec.

(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.

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

? References in periodicals archive

axiomatic semantics
cp
darwin

denotational semantics
POLYGOTH
Vienna definition language

WS-Policy provides the missing ingredient in WS-* that will enable interoperable configuration, discovery, and enforcement of advanced operational semantics, such as security, reliability, and transactions," explained Anne Thomas Manes, VP & Research Director at Burton Group.

Layer 7 Technologies is First XML Gateway to Demonstrate WS-Policy ... by Business Wire

TTCN is a language specifically designed for testing, and with the new syntax and operational semantics in TTCN-3, the language will be much easier to adopt for software engineers.

Telelogic Leads the Way to Deliver Next Generation Test Tool by Business Wire

More results

Encyclopedia browser

? Full browser

operational calculus
operational data store
operational database
operational game
operational label
operational maintenance
operational requirements
operational semantics
operational standby program
operational test and evaluation
operational testing
operational unit
operational weather limits
operationalism
operations

Operational Satellite Improvement Program
Operational Satellite Uplink
Operational Sea Training
Operational security
Operational security
Operational Security Evaluation
Operational Security Plan
Operational Security Systems
operational semantics
Operational Sensor Data Record
Operational Sequence and Information Flow Analysis
Operational Sequence Diagram
Operational Service Bulletin
Operational Service Medal
Operational Service Medal
Operational Service Medal for Afghanistan
Operational Service Medal for Sierra Leone

Operational Service Medal for the Democratic Republic of Congo
Operational Services & Environment Description
Operational Services Leadership Team
Operational Services Switch
Operational Significant Event Imagery
Operational Site Certification
Operational Site Layout
Operational Situation
Operational Software Components for Advanced Robotics
Operational Space Environment Network Display
Operational Space Planning and Analysis Combat Equipment
Operational Space Services and Support
Operational Specification
Operational Specification Document
operational standby program
Operational Standoff Range

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a Terms of Use.