| 结构化面向对象形式规格说明语言OOZS——类型检查器 |
| |
| 引用本文： | 李刚,朱关铭,缪淮扣.结构化面向对象形式规格说明语言OOZS——类型检查器[J].上海大学学报(自然科学版),1998(5). |
| |
| 作者姓名： | 李刚 朱关铭 缪淮扣 |
| |
| 作者单位： | 中科院软件研究所 |
| |
| 基金项目： | 国家自然科学基金,上海市高校科技发展基金 |
| |
| 摘 要： | ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误．本文介绍了ＯＯＺＳ类型检查器的设计与实现．
|
| 关 键 词： | 类型检查 语法分析 YACC OOZS |
The Type Check Tool for OOZS Specification |
| |
| Li Gang,Zhu Guanming,Miao Huaikou.The Type Check Tool for OOZS Specification[J].Journal of Shanghai University(Natural Science),1998(5). |
| |
| Authors: | Li Gang Zhu Guanming Miao Huaikou |
| |
| Abstract: | |
| |
| Keywords: | type check syntax check YACC OOZS |
| 本文献已被 CNKI 等数据库收录！ |
