基于契约式设计的Java编译器实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·背景介绍 | 第7-9页 |
| ·国内外研究现状 | 第9页 |
| ·论文基本思想和成果 | 第9-10页 |
| ·论文结构 | 第10-11页 |
| 第二章 基于契约式设计与高级语言 | 第11-15页 |
| ·概述 | 第11页 |
| ·DBC 与高级语言结合的已有研究成果 | 第11-13页 |
| ·DBC 与 Java 的结合 | 第13-14页 |
| ·本章小节 | 第14-15页 |
| 第三章 VeriJava 语言 | 第15-24页 |
| ·概述 | 第15页 |
| ·VeriJava 设计思想 | 第15-17页 |
| ·VeriJava 语法规范 | 第17-24页 |
| 第四章 编译器设计思想 | 第24-33页 |
| ·概述 | 第24页 |
| ·编译器核心设计 | 第24-28页 |
| ·编译器可扩展性设计 | 第28-29页 |
| ·编译器向下兼容性设计 | 第29-30页 |
| ·编译器易用性设计 | 第30-33页 |
| 第五章 编译器实现 | 第33-48页 |
| ·概述 | 第33页 |
| ·编译器整体架构 | 第33-45页 |
| ·其他部分 | 第45-48页 |
| 第六章 编译器扩展 | 第48-52页 |
| ·概述 | 第48页 |
| ·外部扩展 | 第48-49页 |
| ·内部扩展 | 第49-50页 |
| ·本章小结 | 第50-52页 |
| 第七章 结论与未来展望 | 第52-53页 |
| 参考文献 | 第53-55页 |
| 致谢 | 第55-56页 |
| 攻读学位期间发表的学术论文目录 | 第56页 |
