axiomatic semantics

Also found in: Wikipedia

0.01 sec.

(theory)

axiomatic semantics - A set of assertions about properties of a system and how they are effected by program execution. The axiomatic semantics of a program could include pre- and post-conditions for operations. In particular if you view the program as a state transformer (or collection of state transformers), the axiomatic semantics is a set of invariants on the state which the state transformer satisfies.

E.g. for a function with the type:

sort_list :: [T] -> [T]

we might give the precondition that the argument of the function is a list, and a postcondition that the return value is a list that is sorted.

One interesting use of axiomatic semantics is to have a language that has a finitely computable sublanguage that is used for specifying pre and post conditions, and then have the compiler prove that the program will satisfy those conditions.

See also operational semantics, denotational semantics.

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

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			axial-plane schistosity axial-plane separation axial-type mass flowmeter Axiant axiation Axiidae Axil axilla axillary axillary bud axillary sweat gland Axinellina Axinite axinitization axiolite axiology Axiom axiom of Archimedes axiom of choice Axiom of Comprehension AXIOM* axiomatic Axiomatic Architecture Description Language Axiomatic Method axiomatic S-matrix theory axiomatic semantics axiomatic set theory Axiomatic Theory of Sets axion axis axis cylinder axis of abscissas axis of acoustic symmetry axis of circulation axis of freedom axis of homology axis of ordinates axis of pelvis axis of perspective axis of rotation Axis of Rotation, Instantaneous axis of sighting axis of symmetry axis of the bore Axis of the Celestial Sphere axis of thrust axis of tilt axis of torsion axis of trunnions axis of twist axis of weld			axiom axiom axiom axiom Axiom Balanced Growth Fund Axiom computer algebra system Axiom computer algebra system Axiom of Archimedes Axiom of choice Axiom of choice Axiom of comprehension Axiom of elementary sets Axiom of hyper-determinacy Axiom of quasi-determinacy Axiom schema of replacement Axiom schema of replacement Axiom schema of specification AXIOM* AXIOMAP axiomatic axiomatic axiomatic Axiomatic Architecture Description Language Axiomatic method Axiomatic Multi-Platform C Axiomatic Product Development Ltd Axiomatic real number Axiomatic real number axiomatic S-matrix theory Axiomatic Safety-Critical Assessment Process axiomatic semantics Axiomatic set theory Axiomatic system Axiomatic Theory of Sets axiomatical axiomatical axiomatical axiomatically axiomatically axiomatically Axiome Axiome Axiome Axiomesiodistal axiomesiodistal, of teeth plane axiomesiodistal, of teeth plane axiomesiodistal, of teeth plane axiomesiodistal, of teeth plane Axiomessiocervical Axiomm Axiomm Axiomm Axioms Axioms Axioms Axioms of an equation Axioms of an equation Axioms of an equation Axioms of an equation Axioms of an inequation Axioms of equation

Encyclopedia

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

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