This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
C. A. R. Hoare
A grouping.
C. A. R. Hoare: algorithms published as code (Find, Quicksort), the axiomatic basis for proving programs (1969) applied back to them, aliasing in procedures, and monitors and CSP for concurrency.
19 references
How did software get so reliable without proof?
C. A. R. Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME) · Springer
Communicating Sequential Processes
C. A. R. Hoare (1985) · Prentice-Hall International
Specification-oriented semantics for communicating processes
E.-R. Olderog and others (1983) · Springer-Verlag
The emperor's old clothes
C. A. R. Hoare (1981) · Association for Computing Machinery (ACM)
A model for communicating sequential processes
C. A. R. Hoare (1981) · Technical Report PRG-22
Communicating sequential processes
C. A. R. Hoare (1978) · Communications of the ACM · Association for Computing Machinery
Consistent and complementary formal theories of the semantics of programming languages
C. A. R. Hoare and others (1974) · Acta Informatica · Springer Science+Business Media
Monitors: an operating system structuring concept
C. A. R. Hoare (1974) · Communications of the ACM · Association for Computing Machinery
An axiomatic definition of the programming language PASCAL
C. A. R. Hoare and others (1973) · Springer Science and Business Media LLC
Program proving: Jumps and functions
Maurice Clint and others (1972) · Acta Informatica · Springer Science+Business Media
Proof of correctness of data representations
C.A.R. Hoare (1972) · Acta Inf. 1 (1972)
Proof of a Recursive Program: Quicksort
M. Foley and others (1971) · The Computer Journal
Procedures and parameters: An axiomatic approach
C. A. R. Hoare (1971) · Symposium on Semantics of Algorithmic Languages
Proof of a Program: FIND
C. A. R. Hoare (1971) · Communications of the ACM · Association for Computing Machinery
An axiomatic basis for computer programming
C. A. R. Hoare (1969) · Communications of the ACM · Association for Computing Machinery
A contribution to the development of ALGOL
Niklaus Wirth and others (1966) · Communications of the ACM · Association for Computing Machinery (ACM)
Quicksort
C. A. R. Hoare (1962) · The Computer Journal
Algorithm 65: find
C. A. R. Hoare (1961) · Communications of the ACM · Association for Computing Machinery
Partial correctness of C-MOS switching circuits: an exercise in applied logic
C.A.R. Hoare and others · [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science · IEEE Comput. Soc. Press