Axiomatic semantics

From Wikipedia, 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.

[edit] See also

This computer science-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://en.wikipedia.org../../../a/x/i/Axiomatic_semantics.html"

Categories: Theoretical computer science | Formal specification languages | Logic in computer science | Semantics | Computer science stubs

Views

Search

In other languages