Hoare logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Hoare logic" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

2semanticscholar.org

11^th place

8^th place

4,464^th place

4,468^th place

6,934^th place

4,192^nd place

low place

low place

bham.ac.uk

cs.bham.ac.uk

Huth, Michael; Ryan, Mark (2004-08-26). Logic in Computer Science (second ed.). CUP. p. 276. ISBN 978-0521543101.

cwi.nl

ir.cwi.nl

Apt, Krzysztof R.; Olderog, Ernst-Rüdiger (December 2019). "Fifty years of Hoare's logic". Formal Aspects of Computing. 31 (6): 759. doi:10.1007/s00165-019-00501-3. S2CID 102351597.

doi.org

Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming". Communications of the ACM. 12 (10): 576–580. doi:10.1145/363235.363259. S2CID 207726175.
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger (December 2019). "Fifty years of Hoare's logic". Formal Aspects of Computing. 31 (6): 759. doi:10.1007/s00165-019-00501-3. S2CID 102351597.

semanticscholar.org

api.semanticscholar.org

Hoare, C. A. R. (October 1969). "An axiomatic basis for computer programming". Communications of the ACM. 12 (10): 576–580. doi:10.1145/363235.363259. S2CID 207726175.
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger (December 2019). "Fifty years of Hoare's logic". Formal Aspects of Computing. 31 (6): 759. doi:10.1007/s00165-019-00501-3. S2CID 102351597.

tau.ac.il

cs.tau.ac.il

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