Word.ws English Dictionary

Hoare triple

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

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.

Forms of Hoare triple

pluralHoare triples

Origin of Hoare triple

Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.

Questions about Hoare triple

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

Words near Hoare triple in the dictionary

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

Source and license

Adapted from Wiktionary: 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 triple.” Word.ws, https://word.ws/hoare_triple. Based on Wiktionary, CC BY-SA 4.0.