1980年的图灵奖获得者-C. Antony R. Hoare
2006-09-14 11:00
471 查看
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是一个形式语言系统,定义一系列严格的逻辑规则用来推理和验证一个计算机程序的正确性。
Hoare认为Robert Floyd(1978年图灵奖获得者)的早期关于flowchart的工作对其Hoare Logic存在一定的影响。所以Hoare Logic有时也称为Floyd-Hoare Logic。
快速排序算法(QuickSort ):
关于QuickSort:
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+
CSP:
http://www.usingcsp.com/
Hoare的CSP书电子版: www.usingcsp.com/cspbook.pdf
CSP: from theory to practice
25 Years of CSP: http://www.lsbu.ac.uk/menass/csp25/
更多的关于形式描述语言:
http://vl.fmnet.info/csp/
http://www.afm.sbu.ac.uk/
Turing Award Lecture(图灵奖演讲文章):
The Emperor's Old Clothes. Commun. ACM 24(2): 75-83(1981)
C. Antony R. Hoare简 介 :
CAR Hoare
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于1956年从牛津大学(http://www.ox.ac.uk/)获得其学士学位。后来Hoare前往原苏联并在莫斯科州立大学学习自然语言的计算机转换。1960年,Hoare回到英国并工作于Elliott Brothers公司。在Elliott Brothers,Hoare实现了ALGOL 60编译器。1968年,Hoare获得了University of Belfast(http://www.qub.ac.uk/ )的教授职务。1977年,Hoare回到牛津大学担任计算机科学程序语言研究小组的教授。
除了其在牛津大学的教职,Hoare也在Microsoft Inc.在英国的研究所出任研究员的职位,可参见:http://research.microsoft.com/users/thoare/
在2000年,Hoare由于其在计算机科学和教育方面的杰出贡献被英国皇家授予爵士爵位。
C. Antony R. Hoar 照片:
http://images.google.com/images?q=CAR+Hoare&hl=en&lr=&sa=N&tab=wi&sourceid=tipimg
C.A.R. Hoare的早期科研的手稿:
http://images.google.com/imgres?imgurl=http://vmoc.museophile.org/pvs01/carh1-small.jpg&imgrefurl=http://vmoc.museophile.org/pvs01/carh-manuscripts.html&h=868&w=607&sz=75&tbnid=56FuLOF_mwfw9M:&tbnh=144&tbnw=100&hl=en&start=4&prev=/images%3Fq%3DCAR%2BHoare%26svnum%3D10%26hl%3Den%26lr%3D%26sa%3DN
转自http://www.xtrj.org/
相关文章推荐
- Quicksort算法之父――1980年图灵奖获得者查尔斯・霍尔
- 历届图灵奖获得者(1966-2003)
- 第一位图灵奖(1966年)获得者--Alan J. Perlis
- 1973年的图灵奖获得者-Charles W. Bachman
- 1979年的图灵奖获得者-Kenneth Eugene Iverson
- 1994年的图灵奖获得者-Raj Reddy
- 2001年的图灵奖获得者-Kristen Nygaard
- 2005年的图灵奖获得者-Peter Naur
- 华人的旗帜——首位亚裔图灵奖获得者姚期智
- 为什么图灵奖获得者戴克斯特拉痛恨 BASIC 语言
- 1967年的图灵奖获得者-Maurice Vincent Wilkes
- 1974年的图灵奖获得者-Donald E. Knuth
- 1981年的图灵奖获得者-Edgar Frank Codd
- 1987年的图灵奖获得者-John Cocke
- 1990年的图灵奖获得者-Fernando Jose Corbato
- 1994年的图灵奖获得者-Edward Feigenbaum
- 2001年的图灵奖获得者-Ole-Johan Dahl
- 图灵奖获得者分类(1966--2006)
- 历届图灵奖获得者和主要贡献
- 1968年的图灵奖获得者-Richard Wesley Hamming