重要性:图灵奖 19662010,45届图灵奖,有15届由于与程序设计语言有关的工作而获奖 1966 Alan J Perlis,早起语言和Agol1983, Dennis ritchie和 Thompson,C语言 60的贡献,图灵奖第一位获奖者 和UNIX 1971, John McCarthy,LISP语言,程序|1984, Niklaus wirth, Alogl W,PL360, 语义,程序理论 Pascal, Modula-1/2, Oberon,逐步求精, 972, E W.Dijkstra, algol编译,结构 结构化程序设计,语法图 化程序设计,并发概念和原语,形199, Robin milner,M语言,并发理论, 式化推到,卫式命令等 CCS 1977 John backus. Fortran语言,FP语言,200,0 le-Johan Dahl和 Kristen Nygaard BNF等 Simula语言,OO概念 1978, Robert floyd, Algol编译,编译2003 Alan Kay, Smalltalk语言,OO概念、 技术,程序优化,归纳断言法和前 语言和程序设计 后断言,程序正确性,编译生成200, Peter Naur,Alg0l60语言的设计和 1979, ELVerson,APL语言 定义,编译,程序设计的原理和实践 1980, C.A.R. Hoare,结构化程序设计,206, Frances Allen,优化编译和并行化 cas语句,公理语义学,并发程序的200, Barbara liskov,数据抽象/O0容 理论,CSP等 错/分布式计算程序的基础和语页」第11页 重要性：图灵奖 1966-2010，45届图灵奖，有15届由于与程序设计语言有关的工作而获奖 1966，Alan J.Perlis，早起语言和Algol 60的贡献，图灵奖第一位获奖者 1971，John McCarthy，LISP语言，程序 语义，程序理论 1972，E.W.Dijkstra，Algol编译，结构 化程序设计，并发概念和原语，形 式化推到，卫式命令等 1977，John Backus,Fortran语言，FP语言， BNF等 1978，Robert Floyd，Algol编译，编译 技术，程序优化，归纳断言法和前 后断言，程序正确性，编译生成 1979，K.E.Iverson,APL语言 1980，C.A.R.Hoare，结构化程序设计， case语句，公理语义学，并发程序的 理论，CSP等 1983，Dennis Ritchie和Thompson，C语言 和UNIX 1984，Niklaus Wirth, Alogl W, PL360, Pascal, Modula-1/2, Oberon，逐步求精， 结构化程序设计，语法图 1991，Robin Milner, ML语言，并发理论， CCS 2001，Ole-Johan Dahl和Kristen Nygaard, Simula语言，OO概念 2003，Alan Kay, Smaltalk语言，OO概念、 语言和程序设计 2005，Peter Naur, Algol 60语言的设计和 定义，编译，程序设计的原理和实践 2006，Frances Allen，优化编译和并行化 2008，Barbara Liskov，数据抽象/OO/容 错/分布式计算程序的基础和语言