Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:appliesTo |
imperative programs
|
| gptkbp:describes |
program correctness
|
| gptkbp:field |
computer science
program verification |
| gptkbp:hasComponent |
invariant
postcondition precondition |
| gptkbp:hasNotationFor |
{P} C {Q}
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hoare logic
|
| gptkbp:influenced |
gptkb:separation_logic
dynamic logic |
| gptkbp:introducedIn |
1969
|
| gptkbp:namedAfter |
gptkb:Tony_Hoare
|
| gptkbp:publishedIn |
gptkb:Communications_of_the_ACM
|
| gptkbp:relatedTo |
gptkb:Floyd–Hoare_logic
axiomatic semantics |
| gptkbp:supports |
modular reasoning
|
| gptkbp:usedFor |
reasoning about programs
|
| gptkbp:uses |
gptkb:Hoare_triple
|
| gptkbp:bfsParent |
gptkb:Tony_Hoare
gptkb:Dynamic_Logic gptkb:Sir_Tony_Hoare gptkb:Dynamic_logic |
| gptkbp:bfsLayer |
5
|