| 目 录 | 第1-7页 |
| 第一章 部分求值简介 | 第7-12页 |
| 1．1 背景 | 第7页 |
| 1．2 部分求值概述 | 第7页 |
| 1．3 部分求值的必要性 | 第7-8页 |
| 1．4 部分求值的本质 | 第8页 |
| 1．5 运行效率和通用性的关系 | 第8页 |
| 1．6 部分求值的分类 | 第8-10页 |
| 1．6．1 在线例化和离线例化 | 第8-10页 |
| 1．6．2 编译部分求值和运行部分求值 | 第10页 |
| 1．7 部分求值技术的应用 | 第10-12页 |
| 第二章 绑定时间分析 | 第12-20页 |
| 2．1 简要介绍 | 第12页 |
| 2．2 面临的问题 | 第12-13页 |
| 2．3 引用敏感性分析（Use Sensitivity） | 第13-14页 |
| 2．4 引用敏感性分析的实现 | 第14-18页 |
| 2．5 数据流敏感性、上下文敏感性和返回值敏感性 | 第18-19页 |
| 2．6 绑定时间分析 | 第19页 |
| 2．7 总结 | 第19-20页 |
| 第三章 系统总体框架设计 | 第20-39页 |
| 3．1 本系统的设计目标 | 第20页 |
| 3．2 Java子集语法 | 第20页 |
| 3．3 系统流程 | 第20-22页 |
| 3．4 语句和表达式BTA算法 | 第22-31页 |
| 3．4．1 语句和表达式的数据流图 | 第22-27页 |
| 3．4．2 传递函数 | 第27-28页 |
| 3．4．3 程序绑定时间注释 | 第28-30页 |
| 3．4．4 定义性引用 | 第30-31页 |
| 3．5 BTA概述 | 第31-32页 |
| 3．6 BTA环境 | 第32-35页 |
| 3．7 BTA过程流程 | 第35-36页 |
| 3．8 标注程序输出 | 第36-39页 |
| 第四章 数组绑定时间分析 | 第39-51页 |
| 4．1 引言 | 第39页 |
| 4．2 数组BTA的任务 | 第39页 |
| 4．3 解决方案 | 第39-42页 |
| 4．3．1 变量名与变量BTA的分别保存 | 第39-40页 |
| 4．3．2 三类交量的BTA类 | 第40页 |
| 4．3．3 基本类型变量的BTA | 第40页 |
| 4．3．4 一般引用类型的BTA | 第40-41页 |
| 4．3．5 数组类型的BTA | 第41-42页 |
| 4．4 数组BTA空间的建立： | 第42-46页 |
| 4．4．1 数组BTA空间建立的基本步骤 | 第42-43页 |
| 4．4．2 数组BTA对象的建立 | 第43-44页 |
| 4．4．3 数组BTA在BTA环境中的结构 | 第44-46页 |
| 4．5 数组BTA空间的访问 | 第46-50页 |
| 4．5．1 数组表达式出现在等号右边 | 第46-48页 |
| 4．5．2 数组表达式出现在等号左边 | 第48-49页 |
| 4．5．3 数组BTA空间的检查和补充 | 第49-50页 |
| 4．6 小结 | 第50-51页 |
| 结束语 | 第51-52页 |
| 参考文献 | 第52-53页 |
| 附录 Java语言标注程序规范 | 第53-58页 |
| 致 谢 | 第58页 |