Tony (C.A.R.) Hoare
Tony (C.A.R.) Hoare
Principal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; Griffith
Verifierad e-postadress på griffith.edu.au
TitelCiteras avÅr
Communicating sequential processes
AEACB Jones, JW Sanders
138112005
Communicating sequential processes
CAR Hoare
The origin of concurrent programming, 413-443, 1978
79641978
An axiomatic basis for computer programming
CAR Hoare
Communications of the ACM 12 (10), 576-580, 1969
76961969
Monitors: An operating system structuring concept
CAR Hoare
The origin of concurrent programming, 272-294, 1974
25871974
Structured programming
OJ Dahl, EW Dijkstra, CAR Hoare
Academic Press Ltd., 1972
24481972
Proof of correctness of data representations
CAR Hoare
Programming Methodology, 269-281, 1978
16191978
A theory of communicating sequential processes
SD Brookes, CAR Hoare, AW Roscoe
Journal of the ACM (JACM) 31 (3), 560-599, 1984
16091984
Quicksort
CAR Hoare
The Computer Journal 5 (1), 10-16, 1962
14851962
Unifying theories of programming
CAR Hoare, H Jifeng
Prentice Hall 14, 184-203, 1998
12351998
A calculus of durations
Z Chaochen, CAR Hoare, AP Ravn
Information processing letters 40 (5), 269-276, 1991
11181991
An axiomatic definition of the programming language PASCAL
CAR Hoare, N Wirth
Acta Informatica 2 (4), 335-355, 1973
6821973
Laws of programming
CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...
Communications of the ACM 30 (8), 672-686, 1987
5191987
Algorithm 65: find
CAR Hoare
Communications of the ACM 4 (7), 321-322, 1961
492*1961
The verifying compiler: A grand challenge for computing research
T Hoare
International Conference on Compiler Construction, 262-272, 2003
4392003
Algorithm 64: quicksort
CAR Hoare
Communications of the ACM 4 (7), 321, 1961
4151961
The emperor's old clothes
CAR Hoare
ACM Turing award lectures, 1980, 2007
4052007
Procedures and parameters: An axiomatic approach
CAR Hoare
Symposium on Semantics of Algorithmic Languages, 102-116, 1971
4001971
Monitors: Toward a theory of parallel programming
CAR Hoare
International Seminar on Operating System Techniques, APIC Studies in Data …, 1972
3661972
Specification-oriented semantics for communicating processes
ER Olderog, CAR Hoare
Acta Informatica 23 (1), 9-66, 1986
3611986
Hints on programming language design
CA Hoare
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1973
3501973
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20