Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
The Humble Programmer, ACM Turing Lecture 1972
Edsger Dijkstra:
71
citações
0
Curtidas
Edsger Dijkstra Frases famosas
The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity.
Selected writings on computing: a personal perspective - página 2, Edsger Wybe Dijkstra - Springer-Verlag, 1982, ISBN 0387906525, 9780387906522 - 362 páginas
Computer science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes. Science is not about tools, it is about how we use them and what we find out when we do.
Fellows, M.R., and Parberry, I., "SIGACT trying to get children excited about CS", January 1993, Computing Research News.
Atribuídas
Edsger Dijkstra: Frases em inglês
Refering to his conclusion to the Barber paradox or Russell's paradox.
Dijkstra (1985) Where is Russell's paradox? http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD923a.html (EWD 923A).
1980s
Dijkstra, "On the reliability of programs" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD03xx/EWD303.html (EWD 303).
Unknown date
Dijkstra (1996) "The next fifty years" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1243a.html (EWD 1243a).
1990s
discovery of which aspects can be meaningfully 'studied in isolation for the sake of their own consistency.
Dijkstra (1982) as cited in: Douglas Schuler, Douglas Schuler Jonathan Jacky (1989) Directions and Implications of Advanced Computing, 1987. Vol 1, p. 84.
1980s
“LISP has been jokingly described as "the most intelligent way to misuse a computer."”
I think that description a great compliment because it transmits the full flavor of liberation: it has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts.
1970s, The Humble Programmer (1972)
you must not fall into the trap of rejecting a surgical technique because it is beyond the capabilities of the barber in his shop around the corner.
Dijkstra (1975) Comments at a Symposium http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD512.html (EWD 512).
1970s
Dijkstra (1976-79) On the foolishness of "natural language programming" https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html (EWD 667)
1970s
