Science Fair Project Encyclopedia
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
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


