Axiomatic semantics

From open-encyclopedia.com - the free encyclopedia.

Axiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.

See also

• denotational semantics
• operational semantics