| 语法制导的Z规格说明检查器 |
| |
| 引用本文： | 李刚 缪淮扣. 语法制导的Z规格说明检查器[J]. 应用科学学报, 1999, 17(4): 450-456 |
| |
| 作者姓名： | 李刚 缪淮扣 |
| |
| 作者单位： | 上海大学!中国科学院软件研究所(李刚)，上海大学(缪淮扣，童頫) |
| |
| 基金项目： | 国家自然科学基金!(69773038)，上海市高校科技发展基金!(97A42) |
| |
| 摘 要： | Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言，作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查，它通过自顶向下和自底向上相结合的方法，实现了Ｚ语言的语法分析功能；此外，还还结合Ｚ语言的类型特征，实现了Ｚ语言的类型检查，介绍了Ｚ规格说明检查器的设计与实现。
|
| 关 键 词： | Z语言 语法制导 检查器 Z规格说明 软件开发 |
Design and Implem entation of a Syntax-driven Z Specification Checker |
| |
| LIGANG, MIAO HUAIKOU TONG FU Shanghai University. Design and Implem entation of a Syntax-driven Z Specification Checker[J]. Journal of Applied Sciences, 1999, 17(4): 450-456 |
| |
| Authors: | LIGANG MIAO HUAIKOU TONG FU Shanghai University |
| |
| Affiliation: | LIGANG1,2 MIAO HUAIKOU1 TONG FU1 1 Shanghai University,Shanghai 201800 2 Institute of Softw are,Chinese Academy of Sciences,Beijing 100080 |
| |
| Abstract: | |
| |
| Keywords: | Zlanguage syntax-driven type check form alm ethods |
| 本文献已被 CNKI 维普 等数据库收录！ |
