ATLAS元级系统的设计与实现

论文摘要

C/ATLAS 全称Common/Abbreviated Test Language for All System（s全系统公共/简明测试语言）是一个广泛用于军事和航空测试的标准化语言。本文针对其语言规模巨大的特点,以设计ATLAS 编译器为最终目的,提出了ATLAS 语言元级环境的设计方案与具体的实现方法。首先,在引入元级程序设计的概念之后,针对传统的过程式中间表示构造方式的弊端,提出了一种以对象为基本数据结构的抽象语法树作为ATLAS 语言程序到C++语言程序转换的中间表示形式,并在此基础上,对上述两种方法做了相应的比较。然后设计了基于抽象语法树的8个类别的元级操作,使用户在使用系统时能够更加方便的对语法树进行不同目的的操作。在实现的过程中,以语法制导翻译方法和属性文法的思想为基础,利用ACCENT 语法分析器的自动生成工具构造ATLAS 中间表示。最后,给出了整个ATLAS 元级环境的结构和主要应用。文中设计的ATLAS 元级程序系统,为从ATLAS 语言程序到C++语言程序的转换提供了便捷的操作平台,也为ATLAS 编译器的设计与实现奠定了基础。

论文目录

• 第一章 前言
• 1.1 ATLAS语言简介
• 1.2 元级环境简介
• 1.2.1 元程序概念
• 1.2.2 元程序和元程序设计系统的分类
• 1.2.3 元程序的使用
• 1.2.4 元程序的应用领域
• 1.3 完成的主要工作
• 第二章 ATLAS元级环境的结构
• 2.1 概述
• 2.2 中间表示
• 2.2.1 抽象语法树AST
• 2.2.2 文法规则的分类
• 2.2.3 面向过程的方法与面向对象的方法
• 2.2.4 方法的比较
• 2.2.5 AST的构造
• 2.3 元级操作
• 第三章 实现技术
• 3.1 语法制导技术
• 3.1.1 属性文法
• 3.1.2 语法制导翻译的基本思想
• 3.2 ATLAS程序抽象语法树的生成
• 3.2.1 属性关系
• 3.2.2 翻译方案
• 3.3 ATLAS元级系统的结构
• MPS的应用'>第四章 ATLAS_MPS的应用
• 4.1 完成工作
• 4.2 总体应用
• 第五章 总结
• 参考文献
• 摘要
• Abstract
• 致谢
• 导师及作者简介