计算的美丽–1980年图灵奖获得者Tony Hoare
作者 陈怀临 | 2008-03-28 08:28 | 类型 人物评述, 计算的美丽 | Comments Off
C. Antony R. Hoare (1/11/1934–) 图灵奖获得时间: 1980年。 第十五位图灵奖(1980年)获得者。 图灵奖引用(Turing Award 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: Hoare的CSP书电子版: www.usingcsp.com/cspbook.pdf CSP: from theory to practice 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) 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 照片: | |