分享

John W. Backus(12/3/1924–3/17/2007)

图灵奖获得时间：

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

图灵奖引用(Turing Award 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

关于FORTRAN语言：

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

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

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公司。

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)

分享