Home / Quotes / Quote by Robert W. Floyd

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 by Robert W. Floyd

Author

Robert W. Floyd

Robert W. Floyd was an outstanding computer scientist known for his contributions to the fields of algorithms and programming. He made significant contributions to the foundational theories of computer science, particularly in compiler design and algorithm analysis. more

You May Also Like

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

Conditions Particular Type Definitions Command Verification

Author: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.”

Facts Loss Possibility Offers Program Edges Interpretation Programmers Entrances Loops Verification

Author:Robert W. Floyd

“Death is an eternal sleep.”

Author:Joseph Fouche

“The diary will really try and tell people who you are and what you were. The alternative is writing nothing, or creating a totally lifeless, as it is leafless, garden.”

People Writing Trying Creating Garden Who You Are Alternatives Diaries Lifeless

Author:John Fowles

“One degrades oneself sometimes in the effort not to be lonely.”

Sometimes Effort Lonely Oneself Degrade

Author:John Fowles

“Anyone happy in this age and place Is daft or corrupt. Better to abdicate From a material and spiritual terrain Fit only for barbarians.”

Age Spiritual Materials Fit Barbarians Terrain Daft

Book:A. Álvarez, Roy Fuller, Anthony Thwaite

Source: A. Álvarez, Roy Fuller, Anthony Thwaite

“I have nothing to say to him [Ronald Reagan], because he is mad. He is foolish. He is an Israeli dog.”

Dog Mad Foolish Israeli

Author:Muammar al-Gaddafi

“Lincoln was a man who created himself from nothing without any help from outside or other people. I followed his struggles. I see certain similarities between him and me.”

People Men Helping Certain Struggle Similarity Libya

Author:Muammar al-Gaddafi

“The black people's struggle has vanquished racism. It was God who created colour. Today Obama, a son of Kenya, a son of Africa, has made it in the United States of America.”

People Made States Today America Black United United States Struggle Son Racism Made It Colour Black People United States Of America Kenya

Author:Muammar al-Gaddafi

“[Somali maritime violence] is a response to greedy Western nations, who invade and exploit Somalia's water resources illegally. It is not a piracy, it is self defence. It is defending the Somalia children's food.”

Children Self Nations Water Violence Resources Response Western Greedy Exploits Defence Piracy Somalia Water Resources Self Defence Maritime Somali

Author:Muammar al-Gaddafi