List of works - Tony Hoare

A Theory of Communicating Sequential Processes

A Tree Semantics of an Orchestration Language

A contribution to the development of ALGOL

article published in 1966

Algorithm 64: Quicksort

An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language

scholarly article published 1990

An axiomatic basis for computer programming

Communicating sequential processes

Concurrent and Distributed Systems

Data corruption

Edsger Wybe Dijkstra

scientific paper

Formal Methods

article published in 1999

How Did Software Get So Reliable Without Proof? ⬇️

scholarly article

Monitors: an operating system structuring concept

Programming: Sorcery or Science?

scientific article (publication date: April 1984)

Proof of a program: FIND

Proof of correctness of data representations

Quicksort

scientific article (publication date: 1962)

Recursive data structures

scientific article (publication date: June 1975)

Semantics of nondeterminism, concurrency and communication

article by Nissim Francez et al published 1978 in Lecture Notes in Computer Science

The emperor's old clothes

scientific article (publication date: February 1981)

The quality of software

scholarly article by Tony Hoare published April 1972 in Software: Practice and Experience

Unifying Theories of Programming

book by Tony Hoare

List of works by Tony Hoare