Hoare logic

English

Proposed in 1969 by the British computer scientist and logician Tony Hoare.

Hoare logic (countable and uncountable, plural Hoare logics)

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.

单词	Hoare logic
释义	Hoare logic English Etymology Proposed in 1969 by the British computer scientist and logician Tony Hoare. Noun Hoare logic (countable and uncountable, plural Hoare logics) (computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
随便看	absencyjny Absenden absenden Absendens Absender Absenderin Absenderinnen Absendern Absenders absenkbar absenkbare absenkbarem absenkbaren absenkbarer absenkbares Absenken absenken absenkend Absenkens Absenkung Absenkungen absennau absennol absennu absenoldeb