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
Categories: Computer stubs
|
|
|
Links:
Addme |
Keyword Research |
Paid Inclusion |
Femail |
Software |
Completive Intelligence
Add URL | About Slider | FREE Slider Toolbar - Simply Amazing |
| Copyright © 2000-2008 Slider.com. All rights reserved. |
| Content is distributed under the GNU Free Documentation License. |