| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 引言 | 第11-15页 |
| 1.1 研究背景 | 第11-12页 |
| 1.2 研究现状 | 第12-13页 |
| 1.3 研究内容 | 第13-14页 |
| 1.4 论文结构 | 第14-15页 |
| 第二章 相关工作 | 第15-21页 |
| 2.1 程序分析 | 第15-16页 |
| 2.2 Python语言特性 | 第16-18页 |
| 2.3 常用类型推导算法 | 第18-20页 |
| 2.3.1 Hindley-Milner算法 | 第18-19页 |
| 2.3.2 Cartesian Product算法 | 第19-20页 |
| 2.4 静态类型分析面临的问题 | 第20页 |
| 2.5 本章小结 | 第20-21页 |
| 第三章 Python静态类型分析 | 第21-34页 |
| 3.1 标注系统 | 第21-24页 |
| 3.1.1 基本类型BasicTy | 第22-23页 |
| 3.1.2 用户定义类型UserTy | 第23页 |
| 3.1.3 容器类型ContainerTy | 第23-24页 |
| 3.2 预处理 | 第24-27页 |
| 3.3 类型注释 | 第27-30页 |
| 3.3.1 函数注释 | 第27-28页 |
| 3.3.2 类注释 | 第28-29页 |
| 3.3.3 内置模块、类、函数的模拟与注释 | 第29-30页 |
| 3.4 类型推导 | 第30-33页 |
| 3.5 本章小结 | 第33-34页 |
| 第四章 Python静态类型查错 | 第34-42页 |
| 4.1 错误类型 | 第34-35页 |
| 4.2 定义约束 | 第35-36页 |
| 4.3 约束生成算法 | 第36-38页 |
| 4.4 类型错误检查算法 | 第38页 |
| 4.5 案例分析 | 第38-41页 |
| 4.6 本章小结 | 第41-42页 |
| 第五章 实验分析 | 第42-48页 |
| 5.1 评价指标 | 第42-43页 |
| 5.2 实验对象和环境 | 第43-44页 |
| 5.2.1 实验对象 | 第43-44页 |
| 5.2.2 实验环境 | 第44页 |
| 5.3 实验结果及分析 | 第44-47页 |
| 5.4 木章小结 | 第47-48页 |
| 第六章 总结与展望 | 第48-50页 |
| 6.1 本文总结 | 第48页 |
| 6.2 未来展望 | 第48-50页 |
| 参考文献 | 第50-54页 |
| 攻读硕士学位期间主要的研究成果 | 第54-55页 |
| 致谢 | 第55-56页 |