Concepedia

Two theorems about the completeness of Hoare's logic

J.A. Bergstra, Judith Tucker

Information Processing Letters · 1982 · 12 citations · 10 references

DOI

Concepts

References

10

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

, , +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

, , +14

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

Ten Years of Hoare's Logic: A Survey—Part I

Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1981 · 514 citations · Full text

, , +5