Axiomatic semanticsAxiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs.
See also:
|
||
"I don't know anything about music. In my line you don't have to." - Elvis Presley (1935-1977) |
| Main Page | encyclopedia.codeboy.net |
Axiomatic semanticsAxiomatic Semantics is an approach based on mathematical logic to proving the correctness of computer programs.
See also:
|
||
"I don't know anything about music. In my line you don't have to." - Elvis Presley (1935-1977) |