Robert Floyd citáty

Robert W Floyd byl americký informatik.

V roce 1978 dostal Turingovu cenu za svůj všeobecný přínos v oblasti informatiky − v odůvodnění se zmiňují oblasti jako syntaktická analýza, sémantika programovacích jazyků, verifikace programů a analýza algoritmů.

Je znám především jako výrazná osobnost v oblasti grafových algoritmů, kde je jedním z objevitelů Floydova-Warshallova algoritmu. Wikipedia  

✵ 8. červen 1936 – 25. září 2001
Robert Floyd: 9   citátů 0   lajků

Robert Floyd: Citáty anglicky

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

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

Podobní autoři

Billy Wilder foto
Billy Wilder 8
americký filmař
Groucho Marx foto
Groucho Marx 8
americký komik
William Faulkner foto
William Faulkner 33
americký spisovatel
Oliver Herford foto
Oliver Herford 3
americký spisovatel
Henny Youngman foto
Henny Youngman 10
americký komik
Helen Rowland foto
Helen Rowland 27
americká novinářka
Robert Benchley foto
Robert Benchley 2
americký komik
Will Rogers foto
Will Rogers 20
americký herec
Charles Schulz foto
Charles Schulz 1
americký karikaturista
Henry Miller foto
Henry Miller 16
americký romanopisec