Hoare Logic

See: Robert Floyd, Flowchart, Formal System, Correctness of Computer Programs, Mathematical Logic, C. A. R. Hoare, Communications of The ACM.

References

(Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/Hoare_logic Retrieved:2015-10-2.
- 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 C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded by the work of Robert Floyd, who had published a similar system ^[1] for flowcharts.

↑ R. W. Floyd. “Assigning meanings to programs." Proceedings of the American Mathematical Society Symposia on Applied Mathematics. Vol. 19, pp. 19–31. 1967.