Printer Friendly
The Free Dictionary
1,081,856,690 visitors served.
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

operational semantics

   Also found in: Wikipedia 0.10 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
 
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 Riskdata Exchange Association (Zurich, Switzerland)
operational route
Operational Rules Model
Operational Safety Analysis Report
Operational Safety Analysis/Assessment
Operational Safety Document
Operational Safety Improvement Program
Operational Safety Limit
Operational Safety Requirement
Operational Safety Requirement/Technical Safety Requirement
Operational Safety Review
Operational Safety Review Team
Operational Safety, Suitability and Effectiveness
Operational Satellite Active Archive
Operational Satellite Improvement Program
Operational Satellite Uplink (from Tom Clancy's Splinter Cell)
Operational Satellite Uplink (Spinter Cell video game)
Operational Sea Training
Operational security
Operational security
Operational Security (less common)
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 for Afghanistan
Operational Service Medal for Sierra Leone
Operational Service Medal for the Democratic Republic of Congo
Operational Services Leadership Team
Operational Services Switch
Operational Significant Event Imagery (NOAA)
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 Standoff Range
Operational State Transition Description
Operational Stations Book
Operational Status
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2008 Farlex, Inc.
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 visit, consultation, or advice of a legal, medical, or any other professional.. Terms of Use.