Axiomatic semantics
From Academic Kids
Axiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.
[edit]
Axiomatic semanticsFrom Academic KidsAxiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic. [edit] See alsoPersonal tools |
Advertisement |