A Quote by Robert W. Floyd
The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.
Quote Topics
Quote Author
Related Quotes
A programming language is for thinking about programs, not for expressing programs you've already thought of. It should be a pencil, not a pen.
Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language."
The principal lesson of Emacs is that a language for extensions should not be a mere "extension language". It should be a real programming language, designed for writing and maintaining substantial programs. Because people will want to do that!
First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but rather that it is a novel formal medium for expressing ideas about methodology. Thus, programs must be written for people to read, and only incidentally for machines to execute.
The only way to learn a new programming language is by writing programs in it.
A programming language is low level when its programs require attention to the irrelevant.
I am a part of the old school where I feel that purity of the language should be retained. But English is a constantly evolving language where new words are being added to the dictionary, so I don't see any harm in experimenting with the language. Only poor editing standards need to be improved.
Language designers want to design the perfect language. They want to be able to say, 'My language is perfect. It can do everything.' But it's just plain impossible to design a perfect language, because there are two ways to look at a language. One way is by looking at what can be done with that language. The other is by looking at how we feel using that language-how we feel while programming.
I don't hate language. I have my own language, but I also enjoy the English language. Obviously, you don't read a lot of literature and not care about language.
XML is not a language in the sense of a programming language any more than sketches on a napkin are a language.
The language that photography has is a formal language. Any photographer is doing something formal. If it's formal, then it must be an aesthetic way to communicate.
We believe we can also show that words do not have exactly the same psychic "weight" depending on whether they belong to the language of reverie or to the language of daylight life-to rested language or language under surveillance-to the language of natural poetry or to the language hammered out by authoritarian prosodies.
The earliest language was body language and, since this language is the language of questions, if we limit the questions, and if we only pay attention to or place values on spoken or written language, then we are ruling out a large area of human language.
Between rounds of speed chess I read enough of a programming manual to teach myself to write programs on the school's DEC mainframe in the language Basic.
A powerful programming language is more than just a means for instructing a computer to perform tasks. The language also serves as a framework within which we organize our ideas about processes.
C is not clean – the language has many gotchas and traps, and although its semantics are simple in some sense, it is not any cleaner than the assembly-language design it is based on.
Related Authors
Austin O'Malley Quotes
American
Scientist
Carl Sagan Quotes
American
Scientist
Charles Darwin Quotes
English
Scientist
E. O. Wilson Quotes
American
Scientist
Georg C. Lichtenberg Quotes
German
Scientist
Isaac Asimov Quotes
American
Scientist
Jane Goodall Quotes
English
Scientist
Margaret Mead Quotes
American
Scientist
Nassim Nicholas Taleb Quotes
Lebanese
Scientist
Neil deGrasse Tyson Quotes
American
Scientist
Richard Dawkins Quotes
English
Scientist
Stephen Jay Gould Quotes
American
Scientist
Steven Pinker Quotes
Canadian
Scientist
Sylvia Earle Quotes
American
Scientist
Thomas Huxley Quotes
English
Scientist
W. Edwards Deming Quotes
American
Scientist