Logique de Hoare (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Logique de Hoare" in French language version.

refsWebsite

Global rank French rank

low place

2,205^th place

3,262^nd place

4,464^th place

5,366^th place

google.com.au

(en) Robert W. Floyd, Mathematical Aspects of Computer Science, vol. 19, American Mathematical Society, coll. « Proceedings of Symposium on Applied Mathematics », 1967, 19–32 p. (ISBN 0821867288, lire en ligne), « Assigning Meaning to Programs ».

C. A. R. Hoare. [PDF] "An axiomatic basis for computer programming". Communications of the ACM, 12(10):576–585, octobre 1969. DOI 10.1145/363235.363259.

F.L. Morris, C.B. Jones: An Early Program Proof by Alan Turing, Annal of the History of Computing, N° 02 - April-June (1984 vol.6) pp: 139-143