C.A.R. Hoare

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

Proof of correctness of data representations

C.A.R. Hoare (1972) · Acta Inf. 1 (1972)

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