Hoare logic
Formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers.
Nº Q1375924 ★
Common · Knowledge
Hoare logic
Formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. It was proposed in 1969 by the British computer scientist and logician Tony Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert W. Floyd, who had published a similar system for flowcharts.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
Tony Hoare
British computer scientist
Nº Q92602 ★★
Prolog
Programming language that uses first order logic
Nº Q163468 ★★★
Curry–Howard correspondence
The direct relationship between computer programs and mathematical proofs
Nº Q975734 ★★
Combinatory logic
Logical formalism using combinators instead of variables
Nº Q1481571 ★
Logical consequence
Fundamental concept in logic
Nº Q374182 ★★
Logarithm
Inverse of the exponential function, which maps products to sums
Nº Q11197 ★★★★