形式语义描述方法研究进展与评价

• 作者: 张卫丰 张迎周 钱俊彦
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式化语义描述 安全协议分析 博弈语义 单子语义
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 综述
• 页码范围: 86-94
• 页数: 9页
• 分类号: TP311.1
• 字数: 8687字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2006.06.019

摘要

程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义.但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期.首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子工业学院计算机系	86	238	9.0	10.0
2	张卫丰	南京邮电大学计算机学院	28	231	9.0	14.0
3	张迎周	南京邮电大学计算机学院	27	142	7.0	10.0