一个过程式语言操作语义的设计与可视化实现
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 第一章 引言 | 第8-10页 |
| ·论文研究背景 | 第8页 |
| ·论文研究主要目的 | 第8页 |
| ·论文完成主要工作 | 第8-9页 |
| ·论文组织结构 | 第9-10页 |
| 第二章 概述 | 第10-14页 |
| ·过程式语言形式语义的发展历史及现状 | 第10页 |
| ·过程式语言形式语义的主要研究方法 | 第10-11页 |
| ·过程式语言操作语义研究的重要性 | 第11页 |
| ·操作语义学产生背景 | 第11-12页 |
| ·操作语义学的发展历史 | 第12页 |
| ·操作语义学概念 | 第12页 |
| ·重要论域 | 第12-13页 |
| ·静态环境 | 第12-13页 |
| ·动态环境 | 第13页 |
| ·值 | 第13页 |
| ·基于抽象机方法定义程序设计语言的操作语义 | 第13-14页 |
| 第三章 过程式语言 SL 语法定义 | 第14-15页 |
| ·SL 语言特点 | 第14页 |
| ·SL 语言文法 | 第14页 |
| ·SL 语言源程序示例 | 第14-15页 |
| 第四章 SL 语言操作语义的设计 | 第15-20页 |
| ·SLe 表达式语言 | 第15-16页 |
| ·SL0 语句语言 | 第16页 |
| ·SLrw 输入输出语言 | 第16-17页 |
| ·SLd 变量声明语言 | 第17-18页 |
| ·SLb 嵌套语言 | 第18页 |
| ·SLpf 过程和函数语言 | 第18-20页 |
| 第五章 SL 语言操作语义可视化系统的总体设计 | 第20-22页 |
| ·词法分析系统 | 第20页 |
| ·语法分析系统 | 第20-21页 |
| ·操作语义系统 | 第21页 |
| ·演示系统 | 第21-22页 |
| 第六章 SL 语言操作语义可视化系统的实现 | 第22-46页 |
| ·词法分析系统的实现 | 第22-23页 |
| ·词法分析的主要任务 | 第22页 |
| ·SL 语言所定义的词法 | 第22页 |
| ·词法分析程序的实现 | 第22-23页 |
| ·语法分析系统的实现 | 第23-27页 |
| ·语法分析的主要任务 | 第23页 |
| ·递归下降法的实现 | 第23-26页 |
| ·语法分析程序的输出 | 第26-27页 |
| ·语法分析程序的实现 | 第27页 |
| ·操作语义系统的实现 | 第27-42页 |
| ·SLe 表达式语言 | 第27-31页 |
| ·SL0 语句语言 | 第31-35页 |
| ·SLrw 输入输出语言 | 第35-36页 |
| ·SLd 变量声明语言 | 第36-38页 |
| ·SLb 嵌套语言 | 第38-40页 |
| ·SLpf 过程和函数语言 | 第40-42页 |
| ·演示系统的实现 | 第42-46页 |
| ·抽象机的可视化实现 | 第42-44页 |
| ·图形演示类库的实现 | 第44-46页 |
| 第七章 结语 | 第46-47页 |
| 参考文献 | 第47-48页 |
| 致谢 | 第48-49页 |
| 在学校期间公开发表论文情况 | 第49页 |
