The Quotation IndexThe trusted reference for quotations and the sources behind them
Search Search Results explaining why software is hard to verify

1 results across authors, quotes, works, categories, subcategories & tags

Quotes

“Many computer programs of the present day are of inordinate size—many thousands of pages of closely printed text. Mathematics has no tradition of dealing with expressions on this scale.”

Tony Hoare · The Mathematics of Programming, 1985 · Primary source