Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03306759n
Noun Concept
Categories: Programming language semantics, Formal methods stubs, Axiomatic semantics, Formal specification languages, Logic in computer science
EN
axiomatic semantics
EN
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. Wikipedia
Definitions
Relations
Sources
EN
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. Wikipedia
An approach based on mathematical logic to proving the correctness of computer programs, closely related to Hoare logic. OmegaWiki
IS A
semantics
HAS KIND
algebraic semantics
Wikipedia
EN
axiomatic semantics
Wikidata
EN
axiomatic semantics
OmegaWiki
EN
axiomatic semantics

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License