Word.ws English Dictionary

Hoare logics

Hoare logics is the plural of Hoare logic.

Meaning of Hoare logic

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.

Questions about Hoare logics

What is Hoare logics the plural of?
Hoare logics is the plural of Hoare logic.

Words near Hoare logics in the dictionary

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

Source and license

Adapted from Wiktionary: Hoare logics (page history and authors); 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 logics.” Word.ws, https://word.ws/hoare_logics. Based on Wiktionary, CC BY-SA 4.0.