类C语言程序分片系统的设计与实现
| 第一章 绪论 | 第1-10页 |
| ·选题背景 | 第7页 |
| ·国内外研究现状 | 第7-9页 |
| ·本文组织结构 | 第9页 |
| ·本文完成的主要工作 | 第9-10页 |
| 第二章 CSL 文法定义及其词法、语法分析 | 第10-23页 |
| ·CSL 文法设计 | 第10-12页 |
| ·定义 CSL 的一些考虑 | 第10-11页 |
| ·CSL 语法说明 | 第11-12页 |
| ·CSL 词法分析程序设计 | 第12-15页 |
| ·CSL 单词分类 | 第12-13页 |
| ·词法分析所用数据结构 | 第13-14页 |
| ·扫描程序的 DFA 描述及其实现 | 第14-15页 |
| ·CSL 语法分析程序设计 | 第15-23页 |
| ·CSL 程序的抽象语法树结构 | 第15-17页 |
| ·语法分析用到的数据结构 | 第17-19页 |
| ·语法分析程序的实现 | 第19-23页 |
| 第三章 控制流图及其构造 | 第23-29页 |
| ·CSL 中对控制流图的定义 | 第23-24页 |
| ·CSL 语句的控制流图表示 | 第24-26页 |
| ·CSL 控制流图的存储结构 | 第26-27页 |
| ·从 CSL 抽象语法树构造控制流图 | 第27-29页 |
| 第四章 控制流分析 | 第29-45页 |
| ·CSL 中的控制流分析介绍 | 第29-35页 |
| ·控制流分析及在分片中的应用 | 第29页 |
| ·CSL 控制流分析的相关定义 | 第29-30页 |
| ·必经结点算法介绍 | 第30-31页 |
| ·CSL 中的后必经结点算法 | 第31-35页 |
| ·CSL 的控制依赖图及其表示 | 第35-38页 |
| ·控制依赖的形式化定义 | 第35页 |
| ·CSL 的控制依赖图结构 | 第35-36页 |
| ·CSL 的控制依赖图存储 | 第36-38页 |
| ·CSL 程序的控制依赖关系求取 | 第38-45页 |
| ·CSL 的后必经结点树存储结构及其算法实现 | 第38-43页 |
| ·CSL 的控制依赖关系求取 | 第43-45页 |
| 第五章 数据流分析 | 第45-56页 |
| ·CSL 中的数据流分析介绍 | 第45-51页 |
| ·CSL 数据流分析的相关定义 | 第46-47页 |
| ·数据流方程 | 第47页 |
| ·CSL 语言中的数据流分析 | 第47-51页 |
| ·CSL 的数据依赖图及其表示 | 第51-53页 |
| ·CSL 中数据依赖的定义 | 第51-52页 |
| ·CSL 的数据依赖图及其存储 | 第52-53页 |
| ·CSL 的数据依赖关系获取 | 第53-56页 |
| ·迭代数据流分析的实现 | 第53-55页 |
| ·CSL 的数据依赖关系获取 | 第55-56页 |
| 第六章 CSL 分片系统总体设计和实现 | 第56-62页 |
| ·总体设计概述 | 第56-59页 |
| ·CSL 的程序依赖图 | 第56-57页 |
| ·CSL 的程序分片 | 第57-58页 |
| ·CSL 程序分片系统总体架构及特性 | 第58-59页 |
| ·CSL 程序分片器设计及实现 | 第59-60页 |
| ·CSL 的分片到程序的转换 | 第60-62页 |
| 第七章 总结与展望 | 第62-63页 |
| 参考文献 | 第63-66页 |
| 中文摘要 | 第66-68页 |
| ABSTRACT | 第68-71页 |
| 致谢 | 第71-72页 |
| 导师及作者简介 | 第72页 |
