基于结构操作语义的并发和类型程序设计方法研究<%=id%>

    并行和通讯是计算机科学和技术的重要研究领域，并发语言语义研究和编译程序实现技术是此领域的理论基础和关键技术。结构操作语义学是计算机科学的一个分支，是一种以简单直观的方式描述程序语义的数学方法。该方法的提出是计算机科学在该领域的突破性进展，它推动了计算机科学与软件开发研究的发展。北京航空航天大学的李未教授在国家自然科学基金(批准号:68873021)支持下，对结构操作语义方法在实用程序语言和程序设计方面的应用进行了系统研究，取得了一系列成果，主要包括:
    1.开拓了该方法对实用并发语言的研究;首次给出Ada等语言的并行、通讯及程序例外的语义，是实用并发语言研究的突破性进展。十几年来，结构操作语义学被国际学术界广泛研究和发展;李未教授对该方法的发展特别是开拓此方法在实用并行语言和程序设计方面的应用起了重要作用。
    2.提出了实现Ada语言关于并行和通讯机制的高效实用算法。该算法被中国“七五”攻关项目“军用小型机Ada语言编译系统”采用;此编译系统是中国自行研制的第一个大型软件;这些工作被英国皇家学会会员普洛特金(Plotkin)教授称为“实用并发语言研究的最重要成果，是对结构操作语义方法的重大发展”。
    3.首先建立了国际上基于结构操作语义的并发语言翻译理论，开辟了并发语言比较研究领域，对并发语言的比较研究做出了开创性贡献，并被国际上许多人研究和发展，取得了出色的进展;著名学者米林顿(Millington)在其论文中称之给出了“第一个、而且是最易被理解和广泛接受的理论”。
    4.设计了高阶通讯演算(Communication Calculus，简作CC)，为并行程序设计和函数式程序设计的融合提供了一种方法和理论基础。国际上几个著名的通讯演算模型，如米尔诺(Milner)的CCS(Communication Calculus System)和CMP(Calculus of Mobile Processes)等都是CC 的特例。
    5.提出了通用类型理论、设计类型语言ALT;提出把模糊逻辑推理规则和程序开发策略和程序变换规则解释为类型的方法。这些工作被称为“对类型理论及其实用研究的重要发展，与在此之前的类型理论相比，通用类型程序设计语言是一种相当实用的语言，而以前的语言则显得十分贫瘠”。

设为首页 | 加入收藏 | 广告服务 | 友情链接 | 版权申明