指针类型在SNL语言中的实现

论文摘要

编译程序是计算机系统不可缺少的部分,是程序设计者的必备工具。学习并掌握编译程序的构造原理和实现技术,能够提高对程序设计语言的理解,提高程序设计,尤其是大型软件的设计能力。本文重点在于在SNL 语言中实现指针类型。指针类型作为现代语言的一个重要特征,在实际中得到了广泛的应用,对于它的实现无论对于掌握编译原理和对于构造一个实际的编译器都有着重要的意义。对于指针类型的实现本文主要从以下语法分析、语义分析、中间代码生成以及运行时存储空间的管理等方面进行说明。其中对语义分析和运行时空间的管理,特别是堆区的管理进行了重点介绍。运行时空间的管理,特别是堆区的管理,对于指针的实现起着关键的作用,本文对其进行了详细的探讨,并给出一个具体的实现来进行说明。

论文目录

• 第一章 绪论
• 1.1 研究的背景
• 1.2 研究的主要目的
• 1.3 本文完成的主要工作
• 第二章 词法分析程序
• 2.1 概述
• 2.2 SNL 语言的字母表及正则表达式
• 2.3 词法分析程序的任务
• 2.4 指针类型的词法分析
• 2.5 词法分析程序的实现
• 第三章 语法分析
• 3.1 概述
• 3.2 递归下降分析程序构造方法
• 3.3 SNL 语言的语法图
• 3.4 指针类型的语法分析
• 3.4.1 普通类型的语法分析
• 3.4.2 指针类型的语法分析
• 3.4.3 指针变量的使用
• 3.5 语法分析程序的实现
• 第四章 语义分析
• 4.1 语义分析的基础
• 4.1.1 语义分析内容
• 4.1.2 标识符和类型的内部表示
• 4.1.3 符号表的结构
• 4.1.3.1 符号表的局部化以及建立和查找
• 4.1.3.2 符号表的界面
• 4.2 指针类型的语义分析
• 4.2.1 指针类型的内部表示
• 4.2.2 指针类型定义的语义分析
• 4.2.3 指针变量的使用在语义上的检查
• 4.2.4 超前声明、回填时机及回填算法
• 4.3 类型检查
• 4.3.1 一般类型的等价性检查
• 4.3.2 指针类型的等价检查
• 4.3.3 错误处理
• 第五章 运行时环境
• 5.1 目标机的模型
• 5.2 目标机的指令及格式
• 5.3 解释程序及执行
• 5.4 解释程序执行的实例
• 第六章 运行时的存储空间
• 6.1 运行时的存储空间的结构
• 6.2 运行时的存储空间的分配
• 6.2.1 静态区的存储分配
• 6.2.2 栈区的存储分配
• 6.2.3 堆区的存储分配
• 6.2.4 动态空间（堆区空间）管理
• 6.2.4.1 概述
• 6.2.4.2 分配和释放算法
• 6.2.5 运行时的过程活动记录与栈区的组织结构
• 6.2.5.1 过程的活动记录
• 6.2.5.2 动态链（DL）
• 6.2.5.3 变量的访问
• 第七章 目标代码生成
• 7.1 非指针类型的目标代码生成
• 7.1.1 声明的处理
• 7.1.2 赋值语句
• 7.1.3 过程调用
• 7.1.4 while 语句
• 7.1.5 if 语句
• 7.1.6 for 语句
• 7.2 指针类型的目标代码生成
• 第八章 实例
• 8.1 汉诺塔例子
• 8.2 二叉树排序
• 第九章 总结
• 参考文献
• 致谢
• 摘要
• Abstract