The Quotation IndexThe trusted reference for quotations and the sources behind them
Tag Tag Software reliability

Works

Tony Hoare · 1981
The Emperor’s Old Clothes

Tony Hoare reflects on his career designing programming languages and software, arguing that reliability depends on simplicity rather than complexity or elaborate features.

Read summary·Explore 4 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
Dahl, O., Dijkstra, E., and Hoare, C.A.R. · 1972
Structured Programming

A foundational text advocating disciplined program design, setting out principles of structured programming, data structuring, and hierarchical program organisation to improve software reliability.

Read summary·Explore 1 quotes

Related Tags

Structured programming 1 Program design 1 Abstraction 3 Data structuring 1 Turing Award lecture 1 Programming language design 1 Simplicity 24 ALGOL 1 Formal methods 5 Program proof 1 Testing 3 Engineering practice 1