en
hoare logic
An
English
term in
ConceptNet 5.8
Source:
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Related terms
en
computer program
➜
en
correctness
➜
en
formal
➜
en
hoare triple
➜
en
operation
➜
en
reason
➜
en
rule
➜
en
system
➜
en
hoare triple
(
n
)
➜
Word forms
en
hoare logics
(
n
)
➜
Derived from
en
hoare
(
n
)
➜
Context of this term
en
comptheory
➜
Links to other resources
en.wiktionary.org
Hoare logic