Meanings
nounHoare logic (countable and uncountable, plural Hoare logics)
plural Hoare logics
- countableuncountablecomputingA formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
Synonyms: Floyd-Hoare logic
Synonyms & antonyms
nounA formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
Similar
Also see
Origin
Proposed in 1969 by the British computer scientist and logician Tony Hoare.
Full word history & related roots →Cite this entry
APA
Hoare logic. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Hoare%20logic
MLA
“Hoare logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Hoare%20logic. Accessed November 4, 2026.
Chicago
WatkinsX Dictionary, s.v. “Hoare logic,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Hoare%20logic.
Source: Hoare logic on Wiktionary, CC BY-SA 4.0.