Hoare triple

Hello, you have come here looking for the meaning of the word Hoare triple. In DICTIOUS you will not only get to know all the dictionary meanings for the word Hoare triple, but we will also tell you about its etymology, its characteristics and you will know how to say Hoare triple in singular and plural. Everything you need to know about the word Hoare triple you have here. The definition of the word Hoare triple will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofHoare triple, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

Etymology

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

Noun

Hoare triple (plural Hoare triples)

  1. (computing theory) 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.

Hyponyms

References

Wikious
Boobota
Sagapedia