Robert W. Floyd quotes

“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

#Wise Quotes #Struggle Quotes #Past Quotes

“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

Source : "The Paradigms of Programming", 1978 Turing Award Lecture, Communications of the ACM 22 (8), August 1979: pp. 455 - 460,

#Support Quotes #Design Quotes #Matching Quotes

“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

Source : "Assigning Meanings to Programs" by Robert W. Floyd, published in "Proceedings of Symposium on Applied Mathematics", Volume 19 (pp. 19-20), 1967.

#May Quotes #Language Quotes #Proposal Quotes

“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

Source : "Assigning Meanings to Programs". Proceedings of Symposium on Applied Mathematics, Vol. 19, p. 21, 1967.

#Definitions Quotes #Type Quotes #Command Quotes

“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

Source : "Assigning Meanings to Programs" by Robert W. Floyd, published in "Proceedings of Symposium on Applied Mathematics", Volume 19 (p. 25), 1967.

#Loss Quotes #Facts Quotes #Possibility Quotes

“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.”

Source : Adam Clarke (1820). “Clavis Biblica; or, a Compendium of Scriptural Knowledge; containing a general view of the contents of the Old and New Testaments ... originally drawn up for the instruction of Two Teerunanxies, or High Priests of Budhoo, from the Island of Ceylon”, p.48

“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.”

Source : "Voter Suppression Is Treasonous" by Gov. Jennifer M. Granholm, www.huffingtonpost.com. May 22, 2012.

“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.”