Yquotes.com

 

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, corollary at the end of section 3, On The Reliability of Mechanisms" (EWD249).

 

Edsger W. Dijkstra

» Edsger W. Dijkstra - all quotes »

Similar quotes

 

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.

 

Charles Moore

 

The programmers who write improvements to GCC (or Emacs, or Bash, or Linux, or any GPL-covered program) are often employed by companies or universities. When the programmer wants to return his improvements to the community, and see his code in the next release, the boss may say, "Hold on there--your code belongs to us! We don't want to share it; we have decided to turn your improved version into a proprietary software product."
Here the GNU GPL comes to the rescue. The programmer shows the boss that this proprietary software product would be copyright infringement, and the boss realizes that he has only two choices: release the new code as free software, or not at all. Almost always he lets the programmer do as he intended all along, and the code goes into the next release.

 

Richard M. Stallman

 

Because of the nature of Moore's law, anything that an extremely clever graphics programmer can do at one point can be replicated by a merely competent programmer some number of years later.

 

John D. Carmack

 

Throughout all organic nature there is at work a modifying influence of the kind... as the cause, these specific differences: an influence which, though slow in its action, does, in time, if the circumstances demand it, produce marked changes—an influence, which to all appearance, would produce in the millions of years, and under the great varieties of condition which geological records imply, any amount of change.

 

Herbert Spencer

 

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