《chill语言定义ccitt建议书z2001984》求取 ⇩

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 操作数—1118

5·3·4　操作数—2120

5·3·5 操作数—3122

5·3·6 操作数—4124

5·3·7 操作数—5126

5·3·8 操作数—6128

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