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

--

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

Robert W. Floyd

#Loss Quotes #Facts Quotes #Possibility Quotes

“The women one meets - what are they but books one has already read? You're a library of the unknown, the uncut. Upon my word I've a subscription.”
“When I feel like I'm in a rut, I remember it's the little things in life that are important, like riding a bike with a friend or eating ice cream with my baby niece.”
“Intelligence is nothing without delight.”
“The most beautiful world is always entered through imagination.”
“I found school pretty tough. I got the mickey taken out of me at school.”
“Opportunities multiply as they are seized.”
“Take off your bedroom slippers. Put on your marching shoes,' he said, his voice rising as applause and cheers mounted. 'Shake it off. Stop complainin'. Stop grumblin'. Stop cryin'. We are going to press on. We have work to do.”

Source : Barack Obama's Remarks at Congressional Black Caucus Foundation Annual Phoenix Awards Dinner, obamawhitehouse.archives.gov. September 24, 2011.
“If you copy then it is not self-expression.”

You may also like:

Adi Shamir
Cryptographer
Alan Turing
Mathematician
Allen Newell
Researcher
Donald Knuth
Computer Scientist
George Dantzig
Computer Scientist
Leonard Adleman
Computer Scientist
Niklaus Wirth
Computer Scientist
Steven Chu
Former United States Secretary of Energy
Tony Hoare
Computer Scientist