axiomatic semantics

(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.
axillary artery
axillary cavity
axillary fossa
axillary node
axillary vein
Axiom of Choice
Axiom of Comprehension
Axiomatic Architecture Description Language
-- axiomatic semantics --
axiomatic set theory
axis band
Axis cylinder
Axis in peritrochio
Axis of a balance
Axis of a curve
Axis of a lens
Axis of a microscope
Axis of a pyramid
Axis of abscissas
Axis of oscillation
Axis of polarization
Axis of revolution
Definitions 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 - Privacy Policy