Robert Floyd citáty

Robert W Floyd bol americký informatik. Svoje stredné meno si počas života nechal zmeniť na "W", ktoré sa vďaka tomu píše bez bodky. Floyd však pripúšťal, že je možné jeho meno "W" skracovať ako "W.".

V roku 1978 dostal Turingovu cenu za svoj všeobecný prínos v oblasti informatiky - v odôvodnení sa spomínajú oblasti ako syntaktická analýza, sémantika programovacích jazykov, verifikácia programov, či analýza algoritmov.

Je známy predovšetkým ako výrazná osobnosť v oblasti grafových algoritmov, kde je jedným z objaviteľov Floydovho-Warshallovho algoritmu. Wikipedia  

✵ 8. jún 1936 – 25. september 2001
Robert Floyd: 9   citátov 0   Páči sa

Robert Floyd: Citáty v angličtine

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