Speakur

Word Pronunciation & Dictionary

hoare triple

Word Rarity Rare

Frequency: Zipf frequency 2.54 in modern English

Syllables
hoare triple
IPA
16
Scrabble Score
11
Letters
1
Syllables
9
Unique Chars

Meaning

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.

Etymology

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

Inflected Forms

Hoare triples (plural)

Questions

What does hoare triple mean?
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.
Where does hoare triple come from?
Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.

How to pronounce hoare triple

  1. Open the pronunciation page — Open the Speakur entry for “hoare triple”.
  2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
  3. Play the audio — Click Play to hear reference audio for “hoare triple”.
  4. Repeat and practice — Say “hoare triple” aloud, matching stress and vowels until it feels natural.