ATLAS语言的语义分析技术

第一章 系统简介	第6-11页
1.1 ATLAS 系统简介	第6-10页
1.1.1 进行ATLAS 测试的硬件环境	第7-8页
1.1.2 ATLAS 系统结构	第8-10页
1.2 本文完成的工作	第10-11页
第二章 ATLAS语言	第11-16页
2.1 ATLAS	第11-13页
2.2 ATLAS 语义分析特点	第13-16页
第三章 ATLAS语言分析环境	第16-24页
3.1 ATLAS的语义分析环境	第16-21页
3.2 ATLAS语义环境实现	第21-24页
第四章 ATLAS的静态语义分析	第24-46页
4.1 静态语义分析综述	第24-25页
4.2 非设备操作部分的语义分析	第25-38页
4.2.1 ATLAS中的常规语句部分	第25-26页
4.2.2 ATLAS类型分析的属性文法描述	第26-30页
4.2.3 ATLAS常规声明分析的属性文法描述	第30-31页
4.2.4 ATLAS常规语句分析的属性文法描述	第31-38页
4.3 设备操作部分的语义分析	第38-46页
4.3.1 ATLAS设备操作部分语句	第38-40页
4.3.2 设备操作部分的上下文一致检查	第40-41页
4.3.3 设备操作部分的语义实现	第41-46页
第五章 ATLAS 的动态语义分析	第46-49页
5.1 ATLAS的运行环境	第46-47页
5.2 设备相关部分的动态语义检查	第47-48页
5.3 动态语义检查的实现	第48-49页
结束语	第49-50页
参考文献	第50-51页
致谢	第51-52页
中文摘要	第52-54页
Abstract	第54页