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)

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.