Source: Object-oriented design: With Applications, (1991), p. 19
“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.”
Oral history interview http://hdl.handle.net/11299/107362 by Philip L. Frana, 17 July 2002, Cambridge, England; Charles Babbage Institute, University of Minnesota.
Help us to complete the source, original and additional information
C. A. R. Hoare 16
British computer scientist 1934Related quotes
Source: Object-oriented design: a responsibility-driven approach (1989), p. 71
How I do my computing (2006) http://stallman.org/stallman-computing.html
2000s
Source: Object-oriented design: With Applications, (1991), p. 35
“… greatest single programming language ever designed. (About the Lisp programming language.)”
2003. Daddy, Are We There Yet? A Discussion with Alan Kay http://www.openp2p.com/pub/a/p2p/2003/04/03/alan_kay.html
2000s
Source: Essays on object-oriented software engineering (1993), p. 5
“If you want to program in C, program in C. It's a nice language. I use it occasionally…”
[7577@jpl-devvax.JPL.NASA.GOV, 1990]
Usenet postings, 1990
Public Talks, The State of the Onion 10