Category:Tony Hoare

Wikimedia Commons has media related to C. A. R. Hoare.

This is a topic category for the topic Tony Hoare.

Software

Programming	ALGOL W Monitors Null references occam Structured programming
Algorithms	Dining philosophers problem Quickselect Quicksort
Formal methods	CSP Duration calculus Hoare logic UTP
Books	Structured Programming (1972) Communicating Sequential Processes (1985) Unifying Theories of Programming (1998)

Workplaces

Collaborations

Colleagues	Richard Bird Jonathan Bowen Michael Butler Ole-Johan Dahl Edsger Dijkstra Leslie Fox Mike Gordon He Jifeng Eric Hehner Andrey Kolmogorov Gary T. Leavens John Lucas David May Robin Milner Jayadev Misra Carroll Morgan Peter O'Hearn Ernst-Rüdiger Olderog Jill Pym Anders P. Ravn Bill Roscoe Natarajan Shankar Ib Holm Sørensen Mike Spivey Joe Stoy Bernard Sufrin Niklaus Wirth Zhou Chaochen
Students	Cliff Jones Bill Roscoe Augusto Sampaio
Groups	IFIP Working Group 2.1 Programming Research Group ProCoS

Awards

Distinguished Fellow of the British Computer Society (1978)
Turing Award (1980)
Harry H. Goode Memorial Award (1981)
Fellow of the Royal Society (1982)
IET Faraday Medal (1985)
Computer Pioneer Award (1990)
Knight Bachelor (2000)
Kyoto Prize (2000)
Fellow of the Royal Academy of Engineering (2005)
Fellow of the Computer History Museum (2006)
Friedrich L. Bauer Prize (2007)
IEEE John von Neumann Medal (2011)
Fellow of the ACM (2020)
Royal Medal (2023)

Category
Wikiquote

Pages in category "Tony Hoare"

The following 15 pages are in this category, out of 15 total. This list may not reflect recent changes.

Tony Hoare

A

C

Communicating sequential processes

D

H

Hoare logic

M

Monitor (synchronization)

P

Q

S

Structured Programming (book)

U

Unifying Theories of Programming

Ξ

Template:Hoare

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Tony_Hoare&oldid=1349116400"