C. A. R. Hoare

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1961
Publication period end
2002
Number of co-authors
16

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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. http://doi.acm.org/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. http://doi.acm.org/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. http://doi.acm.org/10.1145/365696.365702

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

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

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