Z规格说明中关系和函数到C++STL的自动转换
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-17页 |
| ·课题背景 | 第10-13页 |
| ·课题的研究现状 | 第13-14页 |
| ·课题研究的意义和目的 | 第14-15页 |
| ·课题研究的主要内容和方法 | 第15-17页 |
| 2 Z规格说明数据类型 | 第17-24页 |
| ·Z规格说明 | 第17-18页 |
| ·Z规格说明中的简单数据类型 | 第18-19页 |
| ·基本数据类型 | 第18页 |
| ·集合类型 | 第18页 |
| ·幂集类型 | 第18-19页 |
| ·序偶类型 | 第19页 |
| ·笛卡儿积类型 | 第19页 |
| ·Z规格说明中的复合数据类型 | 第19-24页 |
| ·关系 | 第19-21页 |
| ·函数 | 第21-23页 |
| ·序列 | 第23页 |
| ·包 | 第23-24页 |
| 3 Z规格说明关系和函数的词法处理 | 第24-28页 |
| ·词法分析独立处理的意义 | 第24页 |
| ·词法分析的输入及处理 | 第24-26页 |
| ·词法分析的输入 | 第24页 |
| ·词法分析处理的对象 | 第24-25页 |
| ·词法分析的处理方式 | 第25页 |
| ·词法分析的处理任务 | 第25-26页 |
| ·词法分析的流程 | 第26页 |
| ·组合运算符处理的流程 | 第26-28页 |
| 4 Z规格说明关系和函数的语法分析 | 第28-32页 |
| ·语法处理的思想 | 第28页 |
| ·自顶向下分析思想 | 第28页 |
| ·递归子程序方法 | 第28页 |
| ·语法处理的准备工作 | 第28-29页 |
| ·修改二义性语法 | 第28-29页 |
| ·消除左递归 | 第29页 |
| ·Z规格说明的语法结构 | 第29页 |
| ·Z规格说明中的消除左递归 | 第29-30页 |
| ·语法出错处理 | 第30-32页 |
| ·错误的分类 | 第30页 |
| ·错误的分析处理 | 第30-31页 |
| ·语法分析器评价标准 | 第31页 |
| ·Z规格说明的出错处理 | 第31-32页 |
| 5 Z规格说明关系和函数的语义处理及求精 | 第32-52页 |
| ·程序范畴和软件求精 | 第32-34页 |
| ·程序范畴 | 第32-33页 |
| ·软件求精 | 第33页 |
| ·软件求精方法 | 第33-34页 |
| ·Z规格说明的求精原则 | 第34-35页 |
| ·语义处理及求精 | 第35页 |
| ·语义分析的输入与输出 | 第35-36页 |
| ·语义处理的输出 | 第35页 |
| ·语义处理的流程 | 第35-36页 |
| ·STL标准模板库 | 第36-37页 |
| ·模式处理的框架 | 第37-39页 |
| ·声明的求精 | 第39-41页 |
| ·声明处理的数据类型 | 第39页 |
| ·声明转换为中间代码 | 第39-40页 |
| ·声明中数据类型的检查 | 第40-41页 |
| ·谓词的求精 | 第41-51页 |
| ·集合 | 第41-45页 |
| ·序偶 | 第45-46页 |
| ·关系 | 第46-49页 |
| ·函数 | 第49-51页 |
| ·程序运行及错误处理 | 第51-52页 |
| 6 中间代码的处理和求精 | 第52-66页 |
| ·声明部分的求精 | 第52页 |
| ·谓词部分的求精 | 第52-64页 |
| ·集合 | 第52-54页 |
| ·序偶 | 第54页 |
| ·关系 | 第54-57页 |
| ·函数 | 第57-64页 |
| ·求精的错误处理 | 第64-66页 |
| 7 结论 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 附录A 保留字运算符编码表 | 第70-71页 |
| 附录B Z规格说明实例 | 第71-72页 |
| 附录C 中间代码程序 | 第72-74页 |
| 在学研究成果 | 第74-75页 |
| 致谢 | 第75页 |
