Author: C. A. R. Hoare

Publications

Co-authors

Bernard Sufrin

1

H. C. Johnston

1

Niklaus Wirth

1

Productive Colleagues

Jayadev Misra

4

Niklaus Wirth

20

David Gries

31

Publications

Boyer, Robert S., Feijen, W. H. J., Gries, David, Hoare, C. A. R., Misra, Jayadev, Moore, J., Richards, H. (2002): In memoriam: Edsger W. Dijkstra 1930-2002. In Communications of the ACM, 45 (10) pp. 21-22. https://dl.acm.org/doi/10.1145/570907.570921

Hoare, C. A. R. (1987): An Overview of Some Formal Methods for Program Design. In IEEE Computer, 20 (9) pp. 85-91.

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Soerensen, Ib Holm, Spivey, J. Michael, Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

Hoare, C. A. R. (1983): An Axiomatic Basis for Computer Programming (Reprint). In Communications of the ACM, 26 (1) pp. 53-56.

Hoare, C. A. R. (1981): The Emperor\'s Old Clothes. In Communications of the ACM, 24 (2) pp. 75-83.

Hoare, C. A. R. (1978): Communicating Sequential Processes. In Communications of the ACM, 21 (8) pp. 666-677.

Johnston, H. C., Hoare, C. A. R. (1975): Matrix Reduction - An Efficient Method. In Communications of the ACM, 18 (3) pp. 141-150.

Hoare, C. A. R. (1974): Monitors: An Operating System Structuring Concept. In Communications of the ACM, 17 (10) pp. 549-557.

Hoare, C. A. R. (1971): Proof of a Program: FIND. In Communications of the ACM, 14 (1) pp. 39-45.

Hoare, C. A. R. (1969): An Axiomatic Basis for Computer Programming. In Communications of the ACM, 12 (10) pp. 576-580. https://dl.acm.org/doi/10.1145/363235.363259

Wirth, Niklaus, Hoare, C. A. R. (1966): A contribution to the development of ALGOL. In Communications of the ACM, 9 (6) pp. 413-432. https://dl.acm.org/doi/10.1145/365696.365702

Hoare, C. A. R. (1961): Algorithm 63: partition. In Communications of the ACM, 4 (7) pp. 321. https://dl.acm.org/doi/10.1145/366622.366642

Hoare, C. A. R. (1961): Algorithm 64: Quicksort. In Communications of the ACM, 4 (7) pp. 321. https://dl.acm.org/doi/10.1145/366622.366644

Hoare, C. A. R. (1961): Algorithm 65: find. In Communications of the ACM, 4 (7) pp. 321-322. https://dl.acm.org/doi/10.1145/366622.366647