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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounHoare triple (plural Hoare triples)

plural Hoare triples

  1. computingA 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.

Origin

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

Full word history & related roots →
Cite this entry
APA

Hoare triple. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Hoare%20triple

MLA

“Hoare triple.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Hoare%20triple. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “Hoare triple,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Hoare%20triple.

Source: Hoare triple on Wiktionary, CC BY-SA 4.0.