Word.ws English Dictionary

Hoare triples

Hoare triples is the plural of Hoare triple.

Meaning of Hoare triple

Noun

Hoare triple (plural Hoare triples)

  1. A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.

Questions about Hoare triples

What is Hoare triples the plural of?
Hoare triples is the plural of Hoare triple.

Words near Hoare triples in the dictionary

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

Source and license

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