程序语言设计原理-语言设计规格说明书.docxVIP

程序设计语言原理 语言设计规格说明书 院（系）名称 计算机学院 学生姓名 学号  任务分工与安排 工作量：我负责语言设计中大概全部(90%)语法的设计，主要是参考网络上的python的语法文档和C语言的语法文档，包括书上IMP语言和书本附录语言。 主要设计内容有： 1.设计的语言在命令中包含完整的变量声明、参数传递、兼容原Pascal的begin-end与Let-in设计结构、同时我们考虑设计了IF-Then-Else和While-Do当下流行的C语言结构（同时包含了递归机制），并且考虑异常的错误捕捉设计了Try-Catch的语法结构。 2. 在名称方面，设计兼容了数组形式表达。 3. 在声明方面，我们的设计包含了常量和变量参数的机制(const\var)，proc过程抽象机制、func过程抽象机制（包含了函数调用函数的迭代机制）。 4. 在类型指示符方面，语法设计包含编程语言常用的类型声明（包含指针设计）。 5. 在表达式方面我们的设计包含了完备的函数抽象机制、过程抽象机制（参考MATLAB的过程语言设计）、参数抽象机制，并且完备的兼容了数组机制与指针机制。 6. 在参数方面的设计，我们包含了复数参数机制、多参数机制，并且兼容了过程抽象和函数抽象，总体上形成了一个完备的编程语言。 其次：本语言的语法指称语义全部都是我设计的，主要是参考书本和附录。 最后：PPT语法部分和前面的总结和设计原则都是我写的。其次我还负责组织同学开会讨论，敲定设计目标，并且安排任务分工等等。 1.语言设计的背景及范型 Python 是解释执行的动态语言，具有丰富的语法糖和类库。缺点是执行效率低；并且动态语言由于没有构建的过程，因此很多错误只有等到运行时才会发现，代码检查工具的效率不高。 因此，我们想设计一种类Pascal的静态类型的编译型语言，既拥有高效的执行效率，又具有丰富的语言特性。 它的优点有： 1、严格的结构化形式，简明灵活的控制结构。 2、丰富完备的数据类型 3、运行效率高 4、查错能力强， 语言简单易学 5、无副作用的简单命令式语言，语义指称和实现上都不设计存储改变的副作用。 语言设计思路与原理 设计目标：从底层到上层完整实现一门语言。 设计原则：严格的结构化形式，完备的数据类型，高效率的编写运行，完美的纠错机制。 设计思路：早期过程式语言调研，词法语法设计，指称语义设计与说明，词法分析，语法分析，纠错设计。 设计特色： (1)精简性： 此语言作为一个轻量级静态编译语言，舍弃了不常用的词法和语法形式，使得用户在学习，编写，编译，查错过程中都能体会到“简单”。 (2)完备性： 虽然此语言较为精简，但是就词法来说，我们几乎囊括了所有常用关键字，运算符和数据类型，就语法来说，我们实现了从命令到程序的所有常见功能，完全满足轻量编程实践的需要。 (3)完整性： 我们完整实现了从语言设计到语法分析器的步骤，并且考虑到了用户体验，用户可直接从我们的产品中获知编写的语言在编译层面的错误。 (4)词法，语法错误反馈机制： 借鉴了市场上绝大部分编译器的特点，我们通过语法树可以给出用户在哪一行，哪一部分代码可能发生了哪一类型错误。 语言的语法、语义规格说明 2.1 词法EBNF 2.1.1 词法定义： 本语言的词法包括以下几大部分的类型定义： 2.1.2 关键字： 本语言有20个关键字，在此将其定义为keyWord类型，EBNF表达如下： keyWord ::= begin | proc | while | var | func | is | do | array | in | record | if | let | then | of | type | end | else | const | try | catch 2.1.3 运算符： 本语言有36种运算符，同样地，将其定义为Calculation类型，EBNF表达如下： Calculation ::= + | - | * | / | , | ; | | = | | = | = | == | != | ( | ) | { | } | [ | ] | ^ | | || | ! | /* | */ | : | % | // | ++ | -- | | | += | -= | *= | /+ 2.1.4 数值类型： 本语言有7种数值类型，在此将其定义为Value类，EBNF表达如下： valueType ::= Integer | Char | Real | Boolean 另外 digit ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 Integer ::= digit，{digit} Real? ::= i