The Quotation IndexThe trusted reference for quotations and the sources behind them
Tag Tag Formal methods

Works

Tony Hoare · 1983
Programming is an Engineering Profession

An argument that programming should be regarded as a branch of engineering, combining scientific foundations with practical discipline and professional responsibility for reliability.

Read summary·Explore 2 quotes
Tony Hoare · 1985
The Mathematics of Programming

Hoare's Oxford inaugural lecture, arguing that programming is a mathematical activity and that mathematical methods can ensure programs are correct and reliable.

Read summary·Explore 1 quotes
Tony Hoare · 1985
Communicating Sequential Processes (CSP)

A formal language and theory for describing systems of concurrent processes that interact by communication, providing a rigorous basis for reasoning about concurrency.

Read summary·Explore 0 quotes
Tony Hoare · 1996
How Did Software Get So Reliable Without Proof?

Hoare examines why software had become highly reliable despite little use of formal proof, and how mathematical theory and engineering practice reinforce one another.

Read summary·Explore 2 quotes
Cliff B. Jones (editor), Jayadev Misra (editor) · 2021
Theories of Programming: The Life & Works of Tony Hoare

An edited volume surveying Tony Hoare's life and contributions to computer science, combining personal recollections with reprints of his key papers and technical commentary.

Read summary·Explore 1 quotes

Related Tags

Software engineering 3 Professionalism 3 Reliability 12 Engineering discipline 1 Mathematics 3 Program correctness 2 Inaugural lecture 2 Communicating sequential processes 2 Concurrency 1 Process algebra 1 Parallel computing 1 Software reliability 3 Program proof 1 Testing 3 Engineering practice 1 Tony Hoare 1 Festschrift 1 Programming theory 1 Computing history 1