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.
;
дс тдрлими цюлютдажкию дроемжки аиакиохдйис лидр
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi;
