Quotes
Authors
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."

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

Robert W. Floyd

#May Quotes #Language Quotes #Proposal Quotes

“All the blessings we enjoy are Divine deposits, committed to our trust on this condition, that they should be dispensed for the benefit of our neighbors.”
“Working out is a healthy habit: it helps you stay light and energetic. At least, that is how it works for me, and over the years it has been one of my greatest passions.”
“I want a simple, ordinary life . . . like humans enjoy.”
“People want to talk about whether I have rock cred, whether I'm selling out, the theatricality, the gay stuff... Chill out! And just enjoy yourself.”
“We do not consecrate the flag by punishing its desecration, for in doing so, we dilute the freedom this cherished emblem represents.”
“But clearly an economy that's growing and expanding like this one - and it certainly is doing that with high GDP output, employment numbers strong, capacity utilization strong - that's an environment in which the Fed needs to continually be alert to early signs of inflation.”
“North Carolina is home to some of the largest financial institutions in the country, and a vibrant network of community banks. We're a banking state, and we're proud of that distinction. But we also understand that responsible financial regulation protects consumers and businesses.”

Source : "Don’t Filibuster Cordray" by Kay R. Hagan, www.huffingtonpost.com. December 8, 2011.
“I live in Santa Fe, New Mexico. And I travel a tremendous amount. I'm in New York and California a lot, but then also I like faraway places a lot.”

"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."

You may also like: