并行重构系统中的全局流分析
| 致谢 | 第1-3页 |
| 摘要 | 第3-4页 |
| abstract | 第4-7页 |
| 第一章 绪论 | 第7-15页 |
| 第二章 并行重构系统 | 第15-21页 |
| §2.1 多处理机 | 第15-17页 |
| §2.2 并行重构系统 | 第17-21页 |
| 第三章 流分析 | 第21-49页 |
| §3.1 基本术语 | 第22-25页 |
| §3.2 程序模式 | 第25-28页 |
| §3.3 过程内控制流分析 | 第28-37页 |
| §3.3.1 基本块划分 | 第28-29页 |
| §3.3.2 控制流图的产生 | 第29-30页 |
| §3.3.3 必经结点集 | 第30-32页 |
| §3.3.4 循环 | 第32-34页 |
| §3.3.5 可归约流图 | 第34-35页 |
| §3.3.6 深度优先树 | 第35-37页 |
| §3.3.7 控制依赖 | 第37页 |
| §3.4 过程内数据流分析 | 第37-44页 |
| §3.4.1 引用定值链 | 第37-41页 |
| §3.4.2 定值引用链 | 第41-43页 |
| §3.4.3 数组元素的定值引用链 | 第43-44页 |
| §3.4.4 数据流问题的分类 | 第44页 |
| §3.5 过程间数据流分析 | 第44-47页 |
| §3.5.1 不敏感于控制流的分析 | 第45-47页 |
| §3.5.2 敏感于控制流的分析 | 第47页 |
| §3.6 数据流分析的应用 | 第47-49页 |
| 第四章 PORT中实用的全局流分析 | 第49-90页 |
| §4.1 运行环境 | 第49-50页 |
| §4.2 实现 | 第50-78页 |
| §4.2.1 总框图 | 第50-53页 |
| §4.2.2 控制流分析 | 第53-65页 |
| §4.2.3 数据流分析 | 第65-78页 |
| §4.3 全局流分析在PORT系统中的应用情况 | 第78-89页 |
| §4.4 全局流分析在软件工程环境中的其他应用 | 第89-90页 |
| 第五章 结束语 | 第90-91页 |
| 参考文献 | 第91-93页 |
| 履历 | 第93页 |
