SNL语言的部分求值器及其应用研究
| 第1章 引言 | 第1-13页 |
| ·SNL 语言简介 | 第7页 |
| ·部分求值技术 | 第7-12页 |
| ·Kleene 的s-m-n 理论 | 第8页 |
| ·部分求值器的定义 | 第8-10页 |
| ·剩余程序的定义 | 第10-11页 |
| ·部分求值技术的分类 | 第11-12页 |
| ·完成的主要工作 | 第12-13页 |
| 第2章 SNLPE 的形式化表示 | 第13-19页 |
| ·动态标记 | 第13页 |
| ·转换系统 | 第13-15页 |
| ·转换方程 | 第15-17页 |
| ·过程的例化 | 第17页 |
| ·一个例子 | 第17-19页 |
| 第3章 SNLPES 的实现 | 第19-29页 |
| ·工作环境 | 第19页 |
| ·数据表示 | 第19-20页 |
| ·源程序到语法树的转换 | 第20-23页 |
| ·语法树结构 | 第20-21页 |
| ·构造语法树 | 第21-23页 |
| ·对语法树进行部分求值 | 第23-26页 |
| ·解释执行语法树 | 第23-24页 |
| ·对语法树节点进行部分求值 | 第24-26页 |
| ·语法树到源程序的转换 | 第26-27页 |
| ·调试器 SNLDEBUGER | 第27页 |
| ·SNLPES 的对外接口 | 第27-29页 |
| 第4章 SNLPES 的运行演示 | 第29-36页 |
| ·一个简单的 SNL 语言程序：swap | 第29-30页 |
| ·第2 章中的例子 | 第30-31页 |
| ·指定区间内的整数和：sum | 第31-32页 |
| ·冒泡排序：sort | 第32-34页 |
| ·递归过程调用：fibonacci | 第34-36页 |
| 第5章 在别名分析中的应用 | 第36-42页 |
| ·简介 | 第36页 |
| ·并行融合部分求值的别名分析技术 | 第36-41页 |
| ·模型语言 SDL | 第37页 |
| ·语义域 | 第37-38页 |
| ·语义指派函数 | 第38-40页 |
| ·一个例子 | 第40-41页 |
| ·SNL 语言的别名分析 | 第41-42页 |
| 第6章 在程序分片中的应用 | 第42-46页 |
| ·简介 | 第42-43页 |
| ·SNL 语言的程序分片 | 第43-46页 |
| 第7章 总结 | 第46-48页 |
| 参考文献 | 第48-52页 |
| 摘要 | 第52-54页 |
| Abstract | 第54-57页 |
| 致谢 | 第57-58页 |
| 导师及作者简介 | 第58页 |
