hoare logic

Questions

What does hoare logic mean?

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.

Where does hoare logic come from?

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

How to pronounce hoare logic

1. Open the pronunciation page — Open the Speakur entry for “hoare logic”.
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 logic”.
4. Repeat and practice — Say “hoare logic” aloud, matching stress and vowels until it feels natural.