Hoare logic (Q1375924)

From Wikidata
Jump to: navigation, search
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
  • Floyd–Hoare logic
  • Hoare rules
[edit]
Language Label Description Also known as
English
Hoare logic
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
  • Floyd–Hoare logic
  • Hoare rules

Statements

[edit]
[edit]
[edit]
[edit]
[edit]
[edit]