en
hoare triple
(
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
code
➜
en
command
➜
en
computation
➜
en
description
➜
en
execution
➜
en
formal
➜
en
hoare logic
➜
en
postcondition
➜
en
precondition
➜
Types of hoare triple
en
description
➜
en
triple
➜
Context of this term
en
comptheory
➜