“This is generally true: any sizeable piece of program, or even a complete program package, is only a useful tool that can be used in a reliable fashion, provided that the documentation pertinent for the user is much shorter than the program text. If any machine or system requires a very thick manual, its usefulness becomes for that very circumstance subject to doubt!”

— Edsger W. Dijkstra

Dijkstra, "On the reliability of programs" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD303.html (EWD 303).
Unknown date

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "This is generally true: any sizeable piece of program, or even a complete program package, is only a useful tool that c…" by Edsger W. Dijkstra?

Edsger W. Dijkstra 68

Dutch computer scientist 1930–2002

Related quotes

“However, I am no big fan of Smalltalk either, even though it compares very favourably with most programming systems today (I don’t like any of them, and I don’t think any of them are suitable for the real programming problems of today, whether for systems or for end-users).”

Alan Kay (1940) computer scientist

2010 for Computerworld Australia http://www.computerworld.com.au/article/352182/z_programming_languages_smalltalk-80/
2010s

“Even perfect program verification can only establish that a program meets its specification. [… ] Much of the essence of building a program is in fact the debugging of the specification.”

Fred Brooks No Silver Bullet

Page 195.
No Silver Bullet (1986)

“If the users don't control the program, the program controls the users. With proprietary software, there is always some entity, the "owner" of the program, that controls the program—and through it, exercises power over its users. A nonfree program is a yoke, an instrument of unjust power.”

Richard Stallman (1953) American software freedom activist, short story writer and computer programmer, founder of the GNU project

Free Software Is Even More Important Now (September 2013) https://www.gnu.org/philosophy/free-software-even-more-important.html
2010s

“Programming languages on the whole are very much more complicated than they used to be: object orientation, inheritance, and other features are still not really being thought through from the point of view of a coherent and scientifically well-based discipline or a theory of correctness. My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design—one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. […] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.”

C. A. R. Hoare (1934) British computer scientist

Oral history interview http://hdl.handle.net/11299/107362 by Philip L. Frana, 17 July 2002, Cambridge, England; Charles Babbage Institute, University of Minnesota.