1·绪论 1
1·1 概述 1
1·2 语言的总观 2
1·3 模式和类别 3
1·4 单元及其访问 4
1·5 值及其操作 5
1·6 动作 6
1·7 输入和输出 7
1·8 程序结构 7
1·9 并发执行 8
1·10 总的语义性质 9
1·11 异常处理 10
1·12 实现任选 10
2·予备知识 12
2·1 元语言 12
2·1·1 上、下文无关文法的描述 12
2·1·2 语义描述 13
2·1·3 例子 14
2·1·4 元语言的结合规则 14
2·2 词汇 14
2·3 空格的使用 15
2·4 注释 16
2·5 格式控制字符 16
2·6 编译程序命令 17
2·7 名字及其定义型出现 18
3 模式和类别 22
3·1 概述 22
3·1·1 模式 22
3·1·2 类别 22
3·1·3 模式和类别的性质以及它们之间的关系 23
3·2 模式定义 24
3·2·1 概述 24
3·2·2 同义模式定义 26
3·2·3 新模式定义 27
3·3 模式分类 27
3·4 离散模式 29
3·4·1 概述 29
3·4·2 整数模式 30
3·4·3 布尔模式 30
3·4·4 字符模式 31
3·4·5 集合模式 31
3·4·6 范围模式 33
3·5 幂集模式 35
3·6 引用模式 36
3·6·1 概述 36
3·6·2 受限引用模式 36
3·6·3 自由引用模式 37
3·6·4 行模式 37
3·7 过程模式 38
3·8 实例模式 40
3·9 同步模式 40
3·9·1 概述 40
3·9·2 事件模式 41
3·9·3 缓冲区模式 41
3·10 输入输出模式 42
3·10·1 概述 42
3·10·2 结合模式 43
3·10·3 访问模式 43
3·11 组合模式 45
3·11·1 概述 45
3·11·2 串模式 45
3·11·3 数组模式 47
3·11·4 结构模式 49
3·11·5 分层结构表示法 56
3·11·6 数组模式和结构模式的布局说明 59
3·12 动态模式 64
3·12·1 概述 64
3·12·2 动态串模式 65
3·12·3 动态数组模式 65
3·12·4 动态参数化结构模式 66
4·单元及其访问 67
4·1 说明 67
4·1·1 概述 67
4·1·2 单元说明 67
4·1·3 单元等同说明 69
4·1·4 基址说明 70
4·2 单元 71
4·2·1 概述 71
4·2·2 访问名字 72
4·2·3 间接引用的受限引用 74
4·2·4 间接引用的自由引用 75
4·2·5 间接引用行 75
4·2·6 串元素 76
4·2·7 串片 77
4·2·8 数组元素 78
4·2·9 数组片 79
4·2·10 结构域 81
4·2·11 单元过程调用 82
4·2·12 单元内部子程序调用 82
4·2·13 单元转换 83
5·值及其操作 84
5·1 同义词定义 84
5·2 原值 85
5·2·1 概述 85
5·2·2 单元内容 86
5·2·3 值名字 86
5·2·4 字面值 88
5·2·4·1 概述 88
5·2·4·2 整数字面值 88
5·2·4·3 布尔字面值 90
5·2·4·4 集合字面值 90
5·2·4·5 空字面值 91
5·2·4·6 字符串字面值 91
5·2·4·7 位串字面值 93
5·2·5 多元组 94
5·2·6 值串元素 101
5·2·7 值串片 102
5·2·8 值数组元素 103
5·2·9 值数组片 104
5·2·10 值结构域 106
5·2·11 表达式转换 106
5·2·12 值过程调用 107
5·2·13 值内部子程序调用 108
5·2·14 启动表达式 114
5·2·15 零元操作符 115
5·2·16 括号表达式 115
5·3 值和表达式 116
5·3·1 概述 116
5·3·2 表达式 117
5·3·3 操作数—1 118
5·3·4 操作数—2 120
5·3·5 操作数—3 122
5·3·6 操作数—4 124
5·3·7 操作数—5 126
5·3·8 操作数—6 128
6·动作 130
6·1 概述 130
6·2 赋值动作 131
6·3 IF动作 133
6·4 CA SE动作 135
6·5 DO动作 137
6·5·1 概述 137
6·5·2 FOR控制 138
6·5·3 WHILE控制 144
6·5·4 WITH部分 144
6·6 出口动作 146
6·7 调用动作 146
6·8 结果和返回动作 150
6·9 GO TO动作 152
6·10 断言动作 152
6·11 空动作 152
6·12 CAUSE动作 153
6·13 启动动作 153
6·14 停动作 154
6·15 继续动作 154
6·16 延迟动作 154
6·17 延迟选择动作 155
6·18 发送动作 156
6·18·1 概述 156
6·18·2 发送信号动作 157
6·18·3 发送缓冲区动作 158
6·19 接收选择动作 159
6·19·1 概述 159
6·19·2 接收信号选择动作 159
6·19·3 接收缓冲区选择动作 161
7·输入与输出 165
7·1 I/O参考模型 165
7·2 结合值 167
7·2·1 概述 167
7·2·2 结合值的属性 167
7·3 访问值 168
7·3·1 概述 168
7·3·2 访问值的属性 168
7·4 对于输入输出的内部子程序 169
7·4·1 概述 169
7·4·2 结合外界对象 170
7·4·3 分离外界对象 171
7·4·4 访问结合属性 171
7·4·5 修改结合属性 172
7·4·6 连接访问单元 173
7·4·7 切断访问单元 177
7·4·8 访问单元的访问属性 178
7·4·9 数据传送操作 179
8·程序结构 183
8·1 概述 183
8·2 范围和嵌套 185
8·3 Begin—end分程序 189
8·4 过程定义 189
8·5 进程定义 195
8·6 模块 196
8·7 区域 197
8·8 程序 198
8·9 存贮器分配和寿命 198
8·10 分段程序设计结构 199
8·10·1 远端段 199
8·10·2 说明模块、说明区域及上下文组 202
8·10·3 准语句 203
8·10·4 准定义型出现和定义型出现之间的机构 206
9·并发机构 207
9·1 进程及其定义 207
9·2 互斥和区域 208
9·2·1 概述 208
9·2·2 区域性 209
9·3 进程的延迟 212
9·4 进程的再激话 213
9·5 信号定义语句 215
10·总语义性质 217
10·1 模式检查 217
10·1·1 模式和类别的性质 217
10·1·1·1 只读性质 217
10·1·1·2 可参数化模式 217
10·1·1·3 引用性质 217
10·1·1·4 被标记的参数化性质 218
10·1·1·5 非值性质 218
10·1·1·6 根模式 219
10·1·1·7 得结果类别 219
10·1·2 模式和类别上的关系 219
10·1·2·1 概述 219
10·1·2·2 模式上的等价关系 220
10·1·2·3 读相容关系 229
10·1·2·4 动态读相容关系 230
10·1·2·5 可限制关系 231
10·1·2·6 模式和类别之间的相容性 232
10·1·2·7 类别之间的相容性 233
10·1·3 分情况选择 234
10·1·4 语义范畴的定义和摘要 237
10·1·4·1 名字 238
10·1·4·2 单元 240
10·1·4·3 表达式和值 240
10·1·4·4 内部子程序调用 241
10·1·4·5 其它语义范畴 242
10·2 可见性和名字的约束 242
10·2·1 可见性的分级 242
10·2·2 可见性条件和名字的约束 243
10·2·3 隐含名字串 244
10·2·4 范围中的可见性 247
10·2·4·1 概述 247
10·2·4·2 可见性语句 248
10·2·4·3 前缀更名子句 248
10·2·4·4 移出语句 251
10·2·4·5 移入语句 254
10·2·5 域名字的可见性 257
11·异常处理 258
11·1 概述 258
11·2 处理程序 258
11·3 处理程序的识别 259
12·实现任选 261
12·1 实现定义的内部子程序 261
12·2 实现定义的整数模式 262
12·3 实现定义的寄存器名字 262
12·4 实现定义的进程名字和异常名字 262
12·5 实现定义的处理程序 263
12·6 实现定义的可引用性 263
12·7 语法任选 263