C. Antony R. Hoare (1/11/1934--)
图 灵 奖 获 得 时 间 :
1980年 。 第十五位 图 灵 奖 (1980年 ) 获 得 者 。
图 灵 奖 引 用 (Turing Award Citation) :
Citation
For his fundamental contributions to the definition and design of programming languages.
中 文 翻 译 :
( 授 予 C. Antony R. Hoar图 灵 奖 以 表 彰 其在) 程序语言定义与设计领域的根本性的贡献。
编 者 注 :
Hoare对程序设计语言的主要贡献为:Hoare Logic, 快速排序算法(Quicksort)和CSP(Communication Sequential Processes)
Hoare Logic:
http://en.wikipedia.org/wiki/Hoare_logic
关于Hoare Logic, 原始文章"An axiomatic basis for computer programming
" 发表与 1969 年Hoare Logic是一个形式语言系统,定义一系列严格的逻辑规则用来推理和验证一个计算机程序的正确性。
http://en.wikipedia.org/wiki/Quicksort
其他的排序算法,可参见: http://en.wikipedia.org/wiki/Sorting_algorithm
Sorting Demo: http://www.cs.ubc.ca/spider/harrison/Java/sorting-demo.html
Sorting Source Codes and Comparison: http://linux.wku.edu/~lamonml/algor/sort/sort.html+
Hoare的CSP书电子版: www.usingcsp.com/cspbook.pdf
25 Years of CSP: http://www.lsbu.ac.uk/menass/csp25/
Turing Award Lecture(图灵奖演讲文章):
The Emperor's Old Clothes. Commun. ACM 24(2): 75-83(1981)
CAR Hoare Wiki: http://en.wikipedia.org/wiki/C._A._R._Hoare
CAR Hoare from Answers.com: http://www.answers.com/topic/c-a-r-hoare
Charles Antony Richard Hoare(Tony Hoare和CAR Hoare)出生于1934年1月11日于斯里兰卡。其父母为英国人。
除了其在牛津大学的教职,Hoare也在Microsoft Inc.在英国的研究所出任研究员的职位,可参见:http://research.microsoft.com/users/thoare/
在2000年,Hoare由于其在计算机科学和教育方面的杰出贡献被英国皇家授予爵士爵位。
http://images.google.com/images?q=CAR+Hoare&hl=en&lr=&sa=N&tab=wi&sourceid=tipimg
转自http://www.xtrj.org/