| 第一章 绪论 | 第1-11页 |
| 1．1 Ada语言的发展与应用 | 第7-8页 |
| 1．2 Ada83与Ada95的兼容性 | 第8页 |
| 1．3 Ada83到Ada95的转换 | 第8-11页 |
| 第二章 Ada83／95转换系统 | 第11-21页 |
| 2．1 转换系统的基本思想 | 第11-13页 |
| 2．1．1 可行性分析 | 第11-12页 |
| 2．1．2 兼容性分类 | 第12-13页 |
| 2．1．3 转换原则 | 第13页 |
| 2．2 转换系统的体系结构 | 第13-16页 |
| 2．2．1 预处理 | 第14页 |
| 2．2．2 前端检查 | 第14-15页 |
| 2．2．3 中间表示 | 第15页 |
| 2．2．4 后端转换 | 第15-16页 |
| 2．2．5 后处理 | 第16页 |
| 2．3 转换系统的实现环境 | 第16页 |
| 2．4 论文的工作 | 第16-21页 |
| 2．4．1 前端的研究基础 | 第17-18页 |
| 2．4．1．1 前端的功能和目标 | 第17-18页 |
| 2．4．1．2 前端的基本思想 | 第18页 |
| 2．4．2 前端的体系结构 | 第18-21页 |
| 第三章 转换系统前端的关键技术 | 第21-45页 |
| 3．1 符号表基本结构 | 第21-25页 |
| 3．1．1 散列符号表 | 第21-22页 |
| 3．1．2 支持可记录作用域信息的符号表 | 第22-24页 |
| 3．1．3 支持分别编译的符号表 | 第24-25页 |
| 3．2 支持Ada强类型特性的符号表 | 第25-34页 |
| 3．2．1 Ada语言的强类型特性 | 第25-27页 |
| 3．2．2 反映Ada强类型的符号表组织 | 第27-34页 |
| 3．2．2．1 子类型和派生类型的符号表组织 | 第27-31页 |
| 3．2．2．2 含有表达式的类型声明的符号表组织 | 第31-34页 |
| 3．3 支持Ada可见性规则的符号表 | 第34-45页 |
| 3．3．1 Ada语言的可见性规则 | 第34-35页 |
| 3．3．2 引入with／use子句的可见性规则 | 第35-45页 |
| 3．3．2．1 with／use子句可见性的多样性 | 第36-40页 |
| 3．3．2．2 解决方案 | 第40-45页 |
| 第四章 转换系统前端的设计与实现 | 第45-53页 |
| 4．1 对输入源程序的分析处理 | 第45-47页 |
| 4．2 兼容性检查 | 第47-50页 |
| 4．2．1 单个检查 | 第48页 |
| 4．2．2 简单关联检查 | 第48-49页 |
| 4．2．3 复杂关联检查 | 第49-50页 |
| 4．3 生成中间表示 | 第50-53页 |
| 4．3．1 中间不兼容信息表 | 第50-51页 |
| 4．3．2 中间临时文件信息表 | 第51-53页 |
| 结束语 | 第53-55页 |
| 致谢 | 第55-57页 |
| 参考文献 | 第57-58页 |