| 形式语义描述方法研究进展与评价 |
| |
| 引用本文： | 张迎周,张卫丰,钱俊彦.形式语义描述方法研究进展与评价[J].南京邮电大学学报(自然科学版),2006,26(6):86-94. |
| |
| 作者姓名： | 张迎周 张卫丰 钱俊彦 |
| |
| 作者单位： | 1. 南京邮电大学,计算机学院,江苏,南京,210003
2. 桂林电子工业学院,计算机系,广西,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金;江苏省高校自然科学基金;广西自然科学基金 |
| |
| 摘 要： | 程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。
|
| 关 键 词： | 形式化语义描述 安全协议分析 博弈语义 单子语义 |
| 文章编号： | 1673-5439（2006）06-0086-09 |
| 收稿时间： | 2006-01-10 |
| 修稿时间： | 2006年1月10日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
