Robert W. Floyd Quotes:
Ocupation: Computer Scientist
Life: June 8, 1936 - September 25, 2001
Birthday: June 8
Death: September 25
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.
source: "Assigning Meanings to Programs". Proceedings of Symposium on Applied Mathematics, Vol. 19, p. 21, 1967.
topic: Definitions, Type, Command, Verification
