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
22654*1985
An axiomatic basis for computer programming
CAR Hoare
Communications of the ACM 12 (10), 576-580, 1969
94351969
Monitors: An operating system structuring concept
CAR Hoare
Communications of the ACM 17 (10), 549-557, 1974
27991974
Structured programming
OJ Dahl, EW Dijkstra, CAR Hoare
Academic Press Ltd., 1972
24661972
Proof of correctness of data representations
CAR Hoare
Software pioneers: contributions to software engineering, 385-396, 2002
18182002
A theory of communicating sequential processes
SD Brookes, CAR Hoare, AW Roscoe
Journal of the ACM (JACM) 31 (3), 560-599, 1984
17841984
Quicksort
CAR Hoare
The computer journal 5 (1), 10-16, 1962
17791962
Unifying theories of programming
CAR Hoare, H Jifeng
Prentice Hall, 1998
14221998
A calculus of durations
Z Chaochen, CAR Hoare, AP Ravn
Information processing letters 40 (5), 269-276, 1991
12261991
An axiomatic definition of the programming language PASCAL
CAR Hoare, N Wirth
Acta Informatica 2, 335-355, 1973
6681973
Algorithm 65: find
CAR Hoare
Communications of the ACM 4 (7), 321-322, 1961
636*1961
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5831987
Towards a theory of parallel programming
CAR Hoare
The origin of concurrent programming: from semaphores to remote procedure …, 2002
5752002
Algorithm 64: quicksort
CAR Hoare
Communications of the ACM 4 (7), 321, 1961
5691961
The verifying compiler: A grand challenge for computing research
T Hoare
Journal of the ACM (JACM) 50 (1), 63-69, 2003
4792003
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
4572007
Chapter II: Notes on data structuring
CAR Hoare
Structured programming, 83-174, 1972
4251972
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23, 9-66, 1986
4091986
Hints on programming language design
CAR Hoare
Computer Science Department, Stanford University, 1973
4071973
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20