Authors:
Topics:
Quotes › Authors › R › Robert W. Floyd

Robert W. Floyd Quotes

On this page you can find the TOP of Robert W. Floyd's best quotes! We hope you will find some sayings from Computer Scientist Robert W. Floyd's in our collection, which will inspire you to new achievements! There are currently 5 quotes on this page collected since June 8, 1936! Share our collection of quotes with your friends on social media so that they can find something to inspire them!
All quotes by Robert W. Floyd: more...

  • 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
    Loss   Facts   Possibility  
    "Assigning Meanings to Programs" by Robert W. Floyd, published in "Proceedings of Symposium on Applied Mathematics", Volume 19 (p. 25), 1967.

  • 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   Struggle   Past  

  • 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
    Design   Support   Matching  
    "The Paradigms of Programming", 1978 Turing Award Lecture, Communications of the ACM 22 (8), August 1979: pp. 455 - 460,

  • 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
    May   Language   Proposal  
    "Assigning Meanings to Programs" by Robert W. Floyd, published in "Proceedings of Symposium on Applied Mathematics", Volume 19 (pp. 19-20), 1967.

  • 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
    Definitions   Type   Command  
    "Assigning Meanings to Programs". Proceedings of Symposium on Applied Mathematics, Vol. 19, p. 21, 1967.
Page 1 of 1
We hope you have found the saying you were looking for in our collection! At the moment, we have collected 5 quotes from the Computer Scientist Robert W. Floyd, starting from June 8, 1936! We periodically replenish our collection so that visitors of our website can always find inspirational quotes by authors from all over the world! Come back to us again!
Robert W. Floyd quotes about:
You May Also Like:
Kenneth E. Iverson
Edsger Dijkstra
Adi Shamir
David Parnas
Niklaus Wirth
Leonard Adleman
Donald Knuth
Tony Hoare

Robert W. Floyd

  • Born: June 8, 1936
  • Died: September 25, 2001
  • Occupation: Computer Scientist
5 Quotes

Related Authors

Popular Topics