| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 引言 | 第9-11页 |
| ·选题依据 | 第9页 |
| ·国内外研究现状 | 第9-10页 |
| ·模块单子切片 | 第9页 |
| ·含指针程序分析技术 | 第9-10页 |
| ·主要研究内容 | 第10页 |
| ·论文主要成果 | 第10页 |
| ·论文结构 | 第10-11页 |
| 第二章 基本概念 | 第11-15页 |
| ·模块单子语义 | 第11-13页 |
| ·单子 | 第11-12页 |
| ·单子转换器 | 第12页 |
| ·模块单子语义 | 第12-13页 |
| ·程序切片 | 第13-15页 |
| 第三章 模块单子切片方法 | 第15-19页 |
| ·切片单子转换器 | 第15页 |
| ·单子切片算法 | 第15-18页 |
| ·Syn(s, L)的定义 | 第16页 |
| ·具体算法步骤 | 第16-18页 |
| ·复杂度分析 | 第18页 |
| ·本章小结 | 第18-19页 |
| 第四章 单子切片性质研究 | 第19-26页 |
| ·终止性证明 | 第19-23页 |
| ·基本定义 | 第19页 |
| ·指称函数定义 | 第19-20页 |
| ·引理及部分证明 | 第20-21页 |
| ·终止性证明 | 第21-23页 |
| ·与依赖图方法的关系 | 第23-25页 |
| ·基本思路 | 第24-25页 |
| ·一致性定义 | 第25页 |
| ·本章总结 | 第25-26页 |
| 第五章 含指针程序的单子切片技术 | 第26-33页 |
| ·基本概念 | 第26-27页 |
| ·相关研究 | 第27页 |
| ·引入指针后的问题分析 | 第27-28页 |
| ·指针单子切片算法 | 第28-31页 |
| ·指向集数据结构 | 第28页 |
| ·赋值语句分类及表达式的处理 | 第28-29页 |
| ·赋值语句的处理 | 第29-31页 |
| ·其他语句的处理 | 第31页 |
| ·复杂性分析 | 第31-32页 |
| ·实例分析 | 第32页 |
| ·本章小结 | 第32-33页 |
| 第六章 总结与展望 | 第33-34页 |
| ·论文总结 | 第33页 |
| ·今后工作展望 | 第33-34页 |
| 致谢 | 第34-35页 |
| 参考文献 | 第35-38页 |
| 附录 攻读硕士学位期间完成的论文以及参加的科研项目列表 | 第38页 |