Hoare triples

A form of Hoare triple — 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

noun
  1. pluralplural of Hoare triple
Cite this entry
APA

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

MLA

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

Chicago

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

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