Wiktionary

Hoare triple

English edit

Etymology edit

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

Noun edit

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 edit

References edit

Retrieved from "https://en.wiktionary.org/w/index.php?title=Hoare_triple&oldid=47099335"