Robert W. Floyd famous quotes
50 minutes ago
-
My message to the serious programmer is this: spend a part of your working day examining and refining your own methods. Even though programmers are always struggling to meet some future or past deadline, methodological abstraction is a wise long term investment.
-- Robert W. Floyd -
If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support.
-- 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.
-- Robert W. Floyd -
A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.
-- Robert W. Floyd -
It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability... This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.
-- Robert W. Floyd
-
I love it when the Bible gives Emily Post-like tips that are both wise and easy to follow.
-
The wise say that our failure is to form habits: for habit is the mark of a stereotyped world,
-
Wise criticism always begins with self-criticism.
-
Law is nothing else but the best reason of wise men applied for ages to the transactions and business of mankind.
-
We need not take refuge in supernatural gods to explain our saints and sages and heroes and statesmen, as if to explain our disbelief that mere unaided human beings could be that good or wise.
-
The Bible is proved to be a revelation from God, by the reasonableness and holiness of its precepts; all its commands, exhortations, and promises having the most direct tendency to make men wise, holy, and happy in themselves, and useful to one another.
-
A community is democratic only when the humblest and weakest person can enjoy the highest civil, economic, and social rights that the biggest and most powerful possess.
-
Science fiction is never about the future, in the same way history is rarely about the past: they're both parable formats for examining or commenting on the present.
-
The experience you’ve had may be unwanted, may amount to nothing but damage and waste, but experience has substance, is factual, authoritative, lives on in your past and affects your present, whatever you attempt to do about it.
-
Through all the relationship stuff I've gone through in the past few years, I know there are fundamental differences in how men and women view sex and how they view their futures.
You may also like:
-
Adi Shamir
Cryptographer -
Alan Perlis
Computer Scientist -
Alan Turing
Mathematician -
Allen Newell
Researcher -
Dana Scott
Professor -
Donald Knuth
Computer Scientist -
Edsger Dijkstra
Computer Scientist -
George Dantzig
Computer Scientist -
Kenneth E. Iverson
Computer Scientist -
Leonard Adleman
Computer Scientist -
Luis von Ahn
Professor -
Niklaus Wirth
Computer Scientist -
Steven Chu
Former United States Secretary of Energy -
Tony Hoare
Computer Scientist -
Vinton Cerf
Engineer