Axiomatic semantics

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

See also: Axiomatic semantics, Computer, Computer programs, Correctness, Denotational semantics, Hoare logic, Mathematical logic, Operational semantics