Word.ws English Dictionary

Hoare logic

Hoare logic noun: a 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.

Noun

Hoare logic (countable and uncountable, plural Hoare logics)

  1. A 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 of Hoare logic

Forms of Hoare logic

pluralHoare logics

Origin of Hoare logic

Proposed in 1969 by the British computer scientist and logician Tony Hoare.

Questions about Hoare logic

What does Hoare logic mean?
Hoare logic means a 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.
What part of speech is Hoare logic?
Hoare logic is a noun.
What is the plural of Hoare logic?
The plural of Hoare logic is Hoare logics.

Words near Hoare logic in the dictionary

  1. hoards
  2. hoards out
  3. hoardsome
  4. hoardy
  5. Hoare
  6. Hoare logic
  7. Hoare logics
  8. Hoare triple
  9. Hoare triples
  10. hoared
  11. Hoares

Source and license

Adapted from Wiktionary: Hoare logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Hoare logic.” Word.ws, https://word.ws/hoare_logic. Based on Wiktionary, CC BY-SA 4.0.