Pioneers: Sir Tony Hoare

CACM articles written by (or about) Sir Tony Hoare.

"Hoare's most significant work has been in the following areas: his sorting and selection algorithm (Quicksort and Quickselect), Hoare logic, the formal language Communicating Sequential Processes (CSP) used to specify the interactions between concurrent processes, structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages." (Wikipedia)

This collections includes 17 articles published between 1961 and 2009.

(stats / articles)




2009 (2)

2009
Viewpoint - Retrospective: an axiomatic basis for computer programming
Communications of the ACM 2009 (10); by C. A. R. Hoare
2009
Interview - An interview with C.A.R. Hoare
Communications of the ACM 2009 (3); by Len Shustek

2002 (1)

2002
In memoriam: Edsger W. Dijkstra 1930-2002
Communications of the ACM 2002 (10); by Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards

1987 (1)

1987
Laws of Programming
Communications of the ACM 1987 (8); by C. A. R. Hoare, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin

1983 (2)

1983
Communicating Sequential Processes (Reprint)
Communications of the ACM 1983 (1); by C. A. R. Hoare
1983
An Axiomatic Basis for Computer Programming (Reprint)
Communications of the ACM 1983 (1); by C. A. R. Hoare

1982 (1)

1982
A Critique of the Foundations of Hoare Style Programming Logics
Communications of the ACM 1982 (12); by Michael J. O'Donnell

1981 (1)

1981
The Emperor's Old Clothes
Communications of the ACM 1981 (2); by C. A. R. Hoare

1978 (1)

1978
Communicating Sequential Processes
Communications of the ACM 1978 (8); by C. A. R. Hoare

1975 (1)

1975
Matrix Reduction - An Efficient Method
Communications of the ACM 1975 (3); by H. C. Johnston, C. A. R. Hoare

1974 (1)

1974
Monitors: An Operating System Structuring Concept
Communications of the ACM 1974 (10); by C. A. R. Hoare

1971 (1)

1971
Proof of a Program: FIND
Communications of the ACM 1971 (1); by C. A. R. Hoare

1969 (1)

1969
An Axiomatic Basis for Computer Programming
Communications of the ACM 1969 (10); by C. A. R. Hoare

1966 (1)

1966
A contribution to the development of ALGOL
Communications of the ACM 1966 (6); by Niklaus Wirth, C. A. R. Hoare

1961 (3)

1961
Algorithm 63: partition
Communications of the ACM 1961 (7); by C. A. R. Hoare
1961
Algorithm 64: Quicksort
Communications of the ACM 1961 (7); by C. A. R. Hoare
1961
Algorithm 65: find
Communications of the ACM 1961 (7); by C. A. R. Hoare