en
hoare logic
(
n
)
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
➜
Context of this term
en
comptheory
➜