“When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in a convincing manner, then the above remarks have a profound influence on the programmer's activity: the object he has to produce must be usefully structured.”

Dijkstra (1970) " Notes On Structured Programming http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF" (EWD249), Section 3 ("On The Reliability of Mechanisms"), p. 6.
1970s

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 "When we take the position that it is not only the programmer's responsibility to produce a correct program but also to …" by Edsger W. Dijkstra?
Edsger W. Dijkstra photo
Edsger W. Dijkstra 68
Dutch computer scientist 1930–2002

Related quotes

Edsger W. Dijkstra photo
Donald Ervin Knuth photo
Bjarne Stroustrup photo
Richard Dawkins photo

“The genes are the master programmers, and they are programming for their lives.”

Source: The Selfish Gene (1976, 1989), Ch. 4. The Gene machine

Linus Torvalds photo

“Bad programmers worry about the code. Good programmers worry about data structures and their relationships.”

Linus Torvalds (1969) Finnish-American software engineer and hacker

https://lwn.net/Articles/193245/

Fred Brooks photo

“I like the observation that Forth is an amplifier: a good programmer can write a great program; a bad programmer a terrible one. I feel no need to cater to bad programmers.”

Quoted in Naomi Hamilton, "The A-Z of Programming Languages: Forth," http://www.computerworld.com.au/index.php/id;766897508 Computerworld (2008-06-27)

Adolf Eichmann photo

“Eichmann is 34 or 35 years old, a very active, adventurous man. He felt that this act against Jews was necessary and was fully convinced of its necessity and correctness, as I was.”

Adolf Eichmann (1906–1962) German Nazi SS-Obersturmbannführer

Rudolf Höss [to Leon Goldensohn, April 9, 1946].

Imre Lakatos photo

Related topics