大家好,我是执念斩长河。今天讲述的是1991年图灵奖获得者罗宾·米尔纳。图灵奖奖励他计算机程序设计语言方面作出的贡献。读完本篇博文大家可以收获的是:
- 什么是形式化逻辑系统模型
- 借鉴LISP开创的ML元语言
- 米尔纳为并发计算所作出的贡献
- 什么是通信系统演算
- 米尔纳的主要著作
米尔纳生于1934年1月13日,先后在Eton学院和剑桥大学接受了高等教育,专业是数学,分别获得学士学位和硕士学位。米尔纳获得图灵奖主要是以下几方面的贡献:
首先, 在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型。这个模型实现了称之为LCF的系统。这个系统可以验证计算机程序的正确性。 其次, 米尔纳学习了麦卡锡的LISP语言,并由此基础上开发成功了一个更加重要的系统,即ML。一个ML程序可以用来描述、表达与验证其它语言的语言。米尔纳还有一个贡献是并发计算。 并发概念由发明著名的“佩特里网”的C.A.Petru于1962年首次严格定义并给出模型。
根据这个模型,米尔纳经过深入研究,提出了一种新的观点,把可以按任意次序在系统内发生的两个事件定义为并发事件,称之为“交叠式并发”,而佩特里定义的是“真并发”。米尔纳用代数方式创造了一种用于建立并发与并行计算的概念框架系统叫做“通信系统演算”。
米尔纳的主要著作有:
- 《通信系统演算》
- 《通信与并发》
- 《标准ML的定义》
- 《对标准ML的说明》
计算机科学既是理论性很强的科学,又是与应用和实践密切联系着的科学。因此,任何希望在这一领域取得成功的年轻人,必须十分重视把理论与实践结合起来。他送给年轻人这样一个忠告 :“不要丢失连接!”。 大家知道“连接”在计算机专业中是一个十分基本而重要的概念,任何高级语言程序在编译以后如果不经过连接,不把程序中引用的子程序从系统子程序中调来加进程序中去,都是不能运行的。概言之:“知行合一”!