Hoare logic

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Etymology

[edit]

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

Noun

[edit]

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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Hoare_logic&oldid=82026113"