Hoare triple
Meaning
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.
Related
Narrower meaning words
Origin
- Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.
And much more
Try out Vedaist now.