Robert W. Floyd Quotes:
Ocupation: Computer Scientist
Life: June 8, 1936 - September 25, 2001
Birthday: June 8
Death: September 25
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.
topic: Loss, Facts, Possibility, Verification
