axiomatic semantics (Q792533)
Jump to navigation
Jump to search
approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state
Language | Label | Description | Also known as |
---|---|---|---|
English | axiomatic semantics |
approach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(11 entries)
- dewiki Axiomatische Semantik
- elwiki Αξιωματική σημασιολογία
- enwiki Axiomatic semantics
- eswiki Semántica axiomática
- frwiki Sémantique axiomatique
- hrwiki Aksiomatska semantika
- jawiki 公理的意味論
- ptwiki Semântica axiomática
- srwiki Аксиоматска семантика
- ukwiki Аксіоматична семантика
- zhwiki 公理语义学