Hoare Triple Definition
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.
Wiktionary
Origin of Hoare Triple
Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare .
From Wiktionary
Related Articles
Find Similar Words
Find similar words to Hoare triple using the buttons below.