Frases de Robert Floyd

Robert W Floyd foi um informático estadunidense. Seu nome intermediário, legalmente registrado, é simplesmente W, sem o ponto de abreviação. Wikipedia  

✵ 8. Junho 1936 – 25. Setembro 2001
Robert Floyd: 9   citações 0   Curtidas

Robert Floyd: Frases em inglês

“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.”

Fonte: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), p. 21 [italics in original, math symbols omitted].