CHILL用户手册PDF电子书下载

1.1 概述 1

1.引言 1

1.2 语言简介 2

1.3 模式与类别 3

1.4 单元及其访问 3

1.5 值及其操作 4

1.6 动作 4

1.7 过程 5

1.8 并发执行 5

1.9 程序结构、可见性和生存期 5

1.10 异常处理 6

1.11 实现任选 6

1.13 Z.2001984年版本 7

1.12 相容性规则摘要 7

2．预备知识 8

2.1 元语言 8

2.1.1 上下文无关语法的描述 8

2.1.2 语义描述 9

2.1.3 例子 9

2.1.4 元语言的约束规则 9

2.2 词汇 10

2.3 空格的使用 10

2.5 格式控制字符 11

2.6 编译程序命令 11

3.1.2 类别 13

3.1.1 模式 13

3．模式与类别 13

3.1 概述 13

3.1.3 模式和类别的性质以及它们之间的关系 14

3.2 模式定义 14

3.2.1 概述 14

3.2.2 同义模式定义 15

3.2.3 新模式定义 15

3.3 模式分类 16

3.4 离散模式 17

3.4.1 概述 17

3.4.2 整数模式 17

3.4.4 字符模式 18

3.4.3 布尔模式 18

2.4 注释 19

3.4.5 集合模式 19

3.4.6 范围模式 20

3.5 幂集模式 22

3.6 引用模式 23

3.6.1 概述 23

3.6.2 受限引用模式 23

3.6.3 自由引用模式 24

3.6.4 行模式 25

3.7 过程模式 26

3.8 实例模式 27

3.9.2 事件模式 28

3.9.1 概述 28

3.9 同步模式 28

3.9.3 缓冲区模式 29

3.10 组合模式 30

3.10.1 概述 30

3.10.2 串模式 30

3.10.3 数组模式 31

3.10.4 结构模式 33

3.10.5 层次结构表示法 38

3.10.6 数组模式和结构模式的布局描述 39

3.11 动态模式 42

4.1.2 单元说明 43

4.1.1 概述 43

4.1 说明 43

4．单元及其访问 43

4.1.3 单元等同说明 45

4.1.4 有基说明 46

4.2 单元 48

4.2.1 概述 48

4.2.2 访问名字 48

4.2.3 间接引用的受限引用 50

4.2.4 间接引用的自由引用 51

4.2.5 串元素 51

4.2.6 子串 52

4.2.7 数组元素 53

4.2.8 子数组 53

4.2.9 结构域 54

4.2.10 单元过程调用 55

4.2.11 单元内部子程序调用 56

4.2.12 单元转换 56

4.2.13 串切片 57

4.2.14 数组切片 57

4.2.15 间接引用行 58

5．值及其操作 60

5.1 同义词定义 60

5.2 原值 61

5.2.1 概述 61

5.2.2 单元内容 62

5.2.3 值名字 63

5.2.4 字面值 65

5.2.5 多元组 69

5.2.6 值串元素 73

5.2.7 值子串 73

5.2.8 值串切片 75

5.2.9 值数组元素 75

5.2.10 值子数组 76

5.2.11 值数组切片 77

5.2.12 值结构域 78

5.2.13 被引用单元 79

5.2.14 表达式转换 79

5.2.15 值过程调用 80

5.2.16 值内部子程序调用 80

5.2.17 启动表达式 84

5.2.18 接收表达式 85

5.2.19 零目运算符 85

5.2.20 括号表达式 86

5.3 值和表达式 86

5.3.1 概述 86

5.3.2 表达式 87

5.3.3 操作数－1 88

5.3.4 操作数－2 89

5.3.5 操作数－3 91

5.3.6 操作数－4 92

5.3.7 操作数－5 93

6.1 概述 95

6．动作 95

6.2 赋值动作 96

6.3 IF动作 98

6.4 情况动作 99

6.5 DO动作 101

6.5.1 FOR控制 101

6.5.2 WHILE控制 106

6.5.3 WITH部分 107

6.6 出口动作 108

6.7 调用动作 109

6.8 结果和返回动作 110

6.9 GOTO动作 111

6.12 引发动作 112

6.10 断言动作 112

6.11 空动作 112

6.13 启动动作 113

6.14 停止动作 113

6.15 继续动作 113

6.16 延迟动作 114

6.17 延迟情况动作 114

6.18 发送动作 115

6.18.1 概述 115

6.18.2 发送信号动作 115

6.18.3 发送缓冲区动作 116

6.19.2 接收信号情况动作 117

6.19.1 概述 117

6.19 接收情况动作 117

6.19.3 接收缓冲区情况动作 118

7．过程 120

7.1 过程定义 120

7.2 过程调用 123

7.3 参数传递和结果传送 125

7.4 过程的动态操作 127

8．并发执行 130

8.1 进程和进程定义 130

8.1.1 概述 130

8.1.2 进程定义 131

8.1.3 实例值 133

8.2.1 概述 134

8.2 进程状态 134

8.2.2 进程的延迟 135

8.2.3 进程的重新激活 135

8.3 区域和事件 136

8.3.1 概述 136

8.3.2 区域 137

8.3.3 事件 139

8.4 缓冲区 141

8.4.1 概述 141

8.4.2 发送缓冲区动作 142

8.4.3 接收表达式，接收缓冲区情况动作 143

8.5.1 信号定义语句 144

8.5 信号 144

8.5.2 发送信号动作 145

8.5.3 接收信号情况动作 146

9．程序结构，可见性和生存期 149

9.1 概述 149

9.2 分程序和模区 150

9.2.1 分程序 150

9.2.2 模区 151

9.3 生存期和可见性 153

9.3.1 生存期 153

9.3.2 可见性 154

9.4 进入作用域和初始化 161

9.4.1 进入作用域 161

9.4.2 初始化 162

10．异常处理 163

10.1 异常的引发 163

10.2 异常处理 164

10.3 怎样查找处理程序 165

11．实现任选 168

12．相容性规则摘要 169

12.1 引言 169

12.2 模式和类别的相容性 170

12.2.1 比较两个单元 170

12.2.2 比较单元和值 171

12.2.3 比较两个值 171

12.3 什么时候模式是“同种类的”？ 171

12.4 比较引用 172

12.5 未定义值 173

13．CHILL程序的字符集 174

14．专用符号 175

15．CHILL专用名字 176

15.1 保留名字 176

15.2 预定义名字 177

15.3 异常名字 177

15.4 命令 177

16．程序例子 178

17．语法图 204

18．产生式规则索引 217

19．勘误 224

20．英汉名词对照表 225