摘要
程序设计语言形式语义描述方法的产生与发展,对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及协议形式化描述、分析验证与设计等都有着重要的意义。回顾形式语义描述方法的研究发展史,介绍当前主要的语义形式描述方法,并给出这些方法的评价标准和比较结果;指出最有发展潜力的语义描述方法以及将来的发展方向。
The birth and development of description techniques of formal semantics of programming languages has great significance for the design and standardization of programming languages, for the design and optimization of compilers, for the procedures reasoning,and for the formal description, analysis, verification and design of protocols. This paper firstly reviews the development history of the semantics description techniques of programming language, then illustrates the description techniques of the current major formal semantics, obtains the evaluation criteria and qualitative comparison resuits of these techniques and finally points out the semantics description technique which has the highest development potential and its future developing direction.
出处
《上海电机学院学报》
2007年第3期204-209,共6页
Journal of Shanghai Dianji University
关键词
形式语义
程序设计语言
描述方法
发展
formal semantics
programming languages
description techniques
progress
