411 REFERENCE · Wiktionary
Hoare triple
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.
Noun
en comptheory 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
en description
en triple
References
en eponyms