Seguir
Tony (C.A.R.) Hoare
Tony (C.A.R.) Hoare
Principal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; Griffith
Dirección de correo verificada de griffith.edu.au
Título
Citado por
Citado por
Año
Communicating sequential processes
CAR Hoare
Prentice-hall, 1985
152941985
An axiomatic basis for computer programming
CAR Hoare
Communications of the ACM 12 (10), 576-580, 1969
93981969
Communicating sequential processes
CAR Hoare
Communications of the ACM 21 (8), 666-677, 1978
90271978
Monitors: An operating system structuring concept
CAR Hoare
Communications of the ACM 17 (10), 549-557, 1974
27931974
Structured programming
OJ Dahl, EW Dijkstra, CAR Hoare
Academic Press Ltd., 1972
25651972
Proof of correctness of data representations
CAR Hoare
Software pioneers: contributions to software engineering, 385-396, 2002
17992002
A theory of communicating sequential processes
SD Brookes, CAR Hoare, AW Roscoe
Journal of the ACM (JACM) 31 (3), 560-599, 1984
17911984
Quicksort
CAR Hoare
The computer journal 5 (1), 10-16, 1962
17781962
Unifying theories of programming
CAR Hoare, J He
(No Title), 1998
14271998
A calculus of durations
Z Chaochen, CAR Hoare, AP Ravn
Information processing letters 40 (5), 269-276, 1991
12281991
An axiomatic definition of the programming language PASCAL
CAR Hoare, N Wirth
Acta Informatica 2, 335-355, 1973
6731973
Algorithm 65: find
CAR Hoare
Communications of the ACM 4 (7), 321-322, 1961
632*1961
Towards a theory of parallel programming
CAR Hoare
The origin of concurrent programming: from semaphores to remote procedure …, 2002
5812002
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5791987
Algorithm 64: quicksort
CAR Hoare
Communications of the ACM 4 (7), 321, 1961
5731961
The verifying compiler: A grand challenge for computing research
T Hoare
Journal of the ACM (JACM) 50 (1), 63-69, 2003
4832003
Procedures and parameters: An axiomatic approach
CAR Hoare
Symposium on semantics of algorithmic languages, 102-116, 2006
4632006
The emperor's old clothes
CAR Hoare
ACM Turing award lectures, 1980, 2007
4562007
Chapter II: Notes on data structuring
CAR Hoare
Structured programming, 83-174, 1972
4231972
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23, 9-66, 1986
4141986
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20