Axiomatic semantics
From Free net encyclopedia
Axiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.
[edit]
See also
fr:Sémantique axiomatique pt:Semântica axiomática de:Axiomatische Semantik