形式语义学基础与形式说明2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

形式语义学基础与形式说明PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 引论1

1.1　形式语义学1

1.2　指称语义学3

1.3　代数语义学4

1.4　操作语义学5

1.5　公理语义方法5

1.6　形式说明语言6

第2章　指称语义学基础7

2.1　论域问题引子7

2.2　域的构造9

2.3　偏序与完全偏序11

2.4　单调函数与连续函数13

2.5　连续泛函15

2.6　泛函不动点及递归程序19

2.7　λ-抽象及λ-演算33

2.8　指称语义定义初步38

习题42

参考文献45

第3章 程序设计语言的指称语义46

3.1　程序设计语言的基本概念46

3.2　存储语义50

3.3　环境（声明）语义55

3.4　命令语义61

3.5　表达式语义64

3.6　连续67

3.7　证明技术79

3.8　小结86

习题87

参考文献89

第4章　指称语义的一些例子90

4.1　例子190

4.2　例子299

4.3　例子3104

4.4　例子4109

习题114

参考文献114

第5章　代数语义学基础116

5.1　概述116

5.2　范畴论118

5.3　图范畴及图文法144

5.4　类别代数理论172

5.5　抽象数据类型187

5.6　等式理论与项重写系统194

5.7　实例207

习题231

参考文献237

第6章 操作语义学与属性文法239

6.1　操作语义概述239

6.2　施用表达式（AE）的机器计算243

6.3　属性文法概述250

6.4　属性文法分类256

6.5　用属性文法进行编译程序设计274

6.6　属性文法定义语言284

6.7　实例：AGDL的语法287

习题289

参考文献289

第7章　组合逻辑291

7.1　概述291

7.2　组合子296

7.3　组合逻辑的语法理论303

7.4　组合逻辑的逻辑基础310

7.5　函数性基本理论313

7.6　范畴组合逻辑318

7.7　小结322

习题323

参考文献325

第8章　公理语义方法326

8.1　概述326

8.2　程序正确性验证的基本概念327

8.3　程序正确性验证技术331

8.4 Hoare公理系统339

8.5 Dijkstra的最弱前置条件344

8.6 Martin-L？f类型论350

习题371

参考文献372

第9章 维也纳发展方法：Meta-Language373

9.1　概况373

9.2　在VDM中的逻辑注释380

9.3　抽象数据类型380

9.4　抽象文法391

9.5　组合算子392

9.6 VDM与程序设计语言401

习题417

参考文献417

第10章 并发程序设计语言的语义与说明418

10.1　并行系统概述418

10.2　并发程序设计语言概述419

10.3　幂域及不确定性424

10.4　通讯顺序进程（CSP）434

10.5　并发程序设计语言的指称语义445

10.6　通讯顺序进程的操作语义456

10.7　进程与通讯网络的抽象数据类型467

10.8　并发程序设计语言的公理语义480

习题494

参考文献495