从图灵奖获得者贡献看计算机发展.doc

从图灵奖获得者贡献看计算机发展.doc从图灵奖获得者贡献看计算机发展——黃莆图灵奖,由美国计算机协会(ACM)于1966年设立,专门奖励那些对计算机事业作出重要贡献的个人,有“计算机界的诺贝尔奖”之称。从获奖者的贡献我们可以看到计算机65年发展历史的缩影。一・计算机编程、软件开发持续发展1)计算机编程理论逐渐形成完善1996AmirPnueli由于在计算科学中引入temporal逻辑以及対编程和系统认证方而的杰出贡献。、可靠的软件方法论方面的贡献,这包扌G建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。,特别是APL,所进行的开创性的工作。2)。1977JohnBackus由于在高级语言方面所做岀的具有广泛和深远意义的贡献,特别是其在Fortran语吕方面。1984NiklausWirth开发了EULER、ALGOL-W、M0DULA和PASCAL—系列崭新的计算语言。2005PeterNaur由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰,是许多现代程序设计语言的原型。2008BarbaraLiskov在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠安全和更加一・致。3)计算机语言转化——。1987JohnCocke由于在编译器设计和理论、大规模系统架构以及开发RISC等方而的重要贡献。lien 的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。4)面向对象编程2001Ole-JohanDahl、KristenNygaard由于面向对象编程始发丁他们基础性的构想,这些构想集屮体现在他们所设计的编程语言SIMULAI和SIMULA67中。2003AlanKay由于在面冋対象语衿方曲原创性思想,领导了Smalltalk的开发团队,以及对PC的基础性贡献。至理名言预测未来的最好方法是创造它。二・>AllenEmerson和JosephSifakis由于设计和制造了第…台内部存储程序的计算机EDSACo在将模型检査发展为被硬件和软件业屮所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。、理论1)数学计数1968RichardHamming由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。1989William(Velvel)Kahan由于在数值分析方面的基础性贡献。、AdiShamir>LeonardM>Adieman由于在公共密钥理论和实践方面的基础性工作。2),计算机程序设计艺术的作者。1986JohnHopcroft>RobertTarjan由于在算法及数据结构设计和分析方面的基础性成就。AndrewChi-C 由于在计算理论