"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."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
C. A. R. Hoare, Oral history interview by Philip L. Frana, 17 July 2002 [ http://www.cbi.umn.edu/oh/display.phtml?id=343]
https://en.wikiquote.org/wiki/Programming_languages
Revision History
No revisions have been submitted for this quote.
Categories
Programming languages
20 quotes on TrueQuotesView all quotes by Programming languages →
Related Quotes
"Programs must be written for people to read, and only incidentally for machines to execute."
"For twenty years programming languages have been steadily progressing toward their present condition of obesity; as a…"
"That language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth gen…"
"Cheatham's amendment of Conway's Law: If a group of N persons implements a [COBOL] compiler, there will be N-1 passes…"
"When FORTRAN has been called an infantile disorder, full PL/1, with its growth characteristics of a dangerous tumor, …"
"The use of COBOL cripples the mind; its teaching should, therefore, be regarded as a criminal offence."
"Write a paper promising salvation, make it a 'structured' something or a 'virtual' something, or 'abstract', 'distrib…"
"About the use of language: it is impossible to sharpen a pencil with a blunt axe. It is equally vain to try to do it …"
"If there is ever a science of programming language design, it will probably consist largely of matching languages to …"
"To the designer of programming languages, I say: unless you can support the paradigms I use when I program, or at lea…"