Phrase guide

Hoare logic

noun · 1 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

No pronunciation record was provided for this word.

1

noun

Meaning 1

A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

Definition source: English Wiktionary via Wiktextract

Usage: countable, uncountable

Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: Floyd-Hoare logic

Antonyms: none provided

History

Etymology

Proposed in 1969 by the British computer scientist and logician Tony Hoare.