《Anna语言导论》求取 ⇩

2 Ada典型特征3

4.6 上下文标注 13

第一部分：Ada及其规格说明语言Anna3

3Anna基本概念5

3.1 虚拟Ada行文6

3.2 标注8

3.3 新增运算与属性9

3.4 带量词表达式9

4 标注种类9

4.1 对象标注10

4.2 （子）类型标注10

4.3 语句标注10

4.4 子程序标注12

4.5 异常传播标注12

5.1 可见标注与隐藏标注14

5 程序包标注14

5.2 程序包状态15

5.3 程序包公理16

6 语义、实现及工具17

6.1 公理语义18

6.2 转换语义与实现18

6.3 基本工具19

7 结束语20

附录 Ada语法20

第二部分：Anna语言参考手册32

1Anna基本概念37

1.1 虚拟Ada行文37

1.2 标注39

1.3 标注的语义42

1.4 一致性检查45

1.5 手册结构47

1.6 错误分类49

2 词法元素49

2.1 字符集49

2.2 词法元素、分隔符与定界符50

2.7 形式注解50

2.9 保留字51

2.10 允许的字符替换51

3 声明与类型标注52

3.1 声明标注52

3.2 对象标注54

3.3 类型与子类型声明标注59

11.2 异常处理段标注 163

3.5 纯量类型运算65

3.4 派生类型标注65

3.6 数组类型标注66

3.7 记录类型标注69

3.8 访问类型标注73

3.9 声明部分81

4 标注中名字与表达式82

4.1 标注中名字82

4.4 标注中表达式83

4.5 运算符与表达式求值84

4.7 限定表达式87

4.11 带量词表达式87

4.6 类型转换87

4.12 条件表达式92

4.13 修饰符94

4.14 表达式的定义性97

5 语句标注100

5.1 简单与复合语句标注100

5.5 循环语句标注103

6 子程序标注104

5.8 返回语句标注104

6.1 子程序声明标注105

6.2 形式参数标注107

6.3 子程序体标注109

6.4 子程序调用标注110

6.5 函数子程序结果标注111

6.6 标注中子程序重载112

6.7 运算符重载112

6.8 子程序属性112

7 程序包标注114

7.1 程序包结构115

7.2 程序包规格说明中可见标注116

7.3 程序包隐藏标注119

7.4 私有类型标注121

7.7 程序包状态127

7.8 公理标注140

7.9 Anna程序包的一致性147

7.10 带标注程序包举例153

8 标注的可见性规则156

8.2 声明与声明标注的作用域156

8.3 可见性157

8.5 改名声明158

8.7 重载分辨的上下文159

9 任务标注159

10 程序结构160

10.1 编译单元标注160

10.2 子单元标注162

11.1 异常标注163

11.3 引发语句标注164

11.4 传播标注164

11.7 标注的屏蔽检查167

12.1 类属声明标注168

12 类属单元标注168

12.3 类属标注例举174

12.4 带标注类属程序包举例175

12.5 类属单元的一致性176

13 依赖实现的特征的标注178

13.8 机器代码插入的标注178

13.9 与其它语言接口的标注178

13.10 不作检查的程序设计的标注178

附录A 预定义Anna属性179

附录C 预定义Anna环境181

附录E Anna语法概要181

附录H Anna程序实例186

第三部分：TSL-1：一种Ada任务定序语言194

1概述194

2 类型表达式与基本事件197

3 用户定义事件与执行语句199

4 占位符200

5 事件匹配与参数汇集201

6 哨兵202

7 复合事件203

8 规格说明204

9 性质与更新语句206

10 宏定义与调用207

11 TSL-1任务规格说明208

12 结束语210

附录A TSL-1扩充的语法210

附录B TSL-1扩充的保留字215

附录C TSL-1扩充预定义环境215

附录D 例筛法求质数216

参考文献220

英汉名词对照222