1977年的图灵奖获得者-John W. Backus

John W. Backus(12/3/1924--)

 

图 灵 奖 获 得 时 间 ：

1977 年 。 第十二位 图 灵 奖 (197 年 ) 获 得 者 。

 

图 灵 奖 引 用 (Turing Award Citation) ：

 

Citation

For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.

　

中 文 翻 译 ：

” ( 授 予John Backus 图 灵 奖 以表 彰其在) 可实用高级编程系统设计，特别是其在FORTRAN语言方面的设计，以及其在编程语言规约的形式化描述方面的，深奥的，杰出影响力的和持续的贡献。

 

编 者 注 ：

 

关于著名的BNF范式，请参见：

http://en.wikipedia.org/wiki/Backus-Naur_form

http://www.garshol.priv.no/download/text/bnf.html

http://www.ietf.org/rfc/rfc4234.txt

http://www.cs.man.ac.uk/~pjj/bnf/bnf.html

Pascal Language Syntax in BNF Notation:

http://www.cs.stevens.edu/~badri/cs616/pas_bnf.html

C Language Syntax in XBNF Notation:

http://www.csci.csusb.edu/dick/samples/c.syntax.html#Syntax%20of%20The%20C%20Programming%20Language

 

关于FORTRAN语言：

http://en.wikipedia.org/wiki/Fortran

http://www.fortran.com/tutorials.html

 

A Brief History of  Fortran

 

Turing Award Lecture(图灵奖演讲文章)：

 

Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21(8): 613-641(1978)

　

John Backus简 介 :

 

John Backus Wiki:  http://en.wikipedia.org/wiki/John_Backus

John Backus Biographies:

http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Backus.html

http://www.thocp.net/biographies/backus_john.htm

 

John Backus 生于1924年12月3日于美国宾夕法尼亚。。从小John就不是一个勤奋的学生。高中毕业后，John进入University of Virginia学习化学，但没有坚持下去。然后他加入美国陆军从事医疗方面的学习，但9个月后，John也决定退出。

 

移居纽约后，John Backus发现自己对数学很有兴趣。1949年，终于从哥伦比亚大学获得其数学学士学位，并与1950年加入IBM公1

 

1954年， Backus组织了一个研发小组开始在IBM 704计算机上的Fortran语言的开发，并于1957年成功运行。Backus 被称为FORTRAN语言之父。

1959年，Backus创造了BNF范式。BNF范式可被用来形式化的描述高级程序语言。

后来Backus着重于函数语言(Functional Programming Language)方面的研究，并研发了命名为FP的编程语言。

 

John Backus的主要大事年鉴：

1942 Graduated from Hill school Pottstown

1942 Entered the University of Virginia. Joined the army

1945 Entered Flower and Fifth Avenue Medical School in New York

1949 Worked on IBM'S SSEC computer

1950-1952 Watson Lab

1954 Backus and his team publish Fortran

1959 Developng a notation called Backus-Naur Form in collaboration with Naur

1991 Retirement

 

John W. Backus的一些照片

 

 

 

(前排：John Backus, Peter Naur, Alan Perlis)

转自http://www.xtrj.org/