Hoare triple

English

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

Hoare triple (plural Hoare triples)

(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.

单词	Hoare triple
释义	Hoare triple 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) (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 description triple References Hoare triple on Wikipedia.Wikipedia
随便看	hematimetric hematimetru hematin hematina hematine hematines hematinic hematinics hematinoglobulin hematinometer hematinometers hematinon hematins hematină hematit hematita hematitas hematite hematites hematiti hematitic hematito hematiton hemato- hematobiochemical