《计算机语言的形式语义》求取 ⇩

第一章数学基础1

1.1 λ演算1

1.2 格论16

1.3 范畴论34

1.4 不动点理论60

1.5 Petri网论71

第二章操作语义95

2.1 概述95

2.2 SECD抽象机105

2.3 维也纳定义语言116

2.4 赫斯利方法和PL/I标准139

2.5 W文法及其抽象机156

2.6 变换语义学168

2.7 结构化的操作语义186

第三章指称语义196

3.1 概述196

3.2 指称语义的描述方法206

3.3 函数式语言的指称语义210

3.4 命令式语言：直接语义和继续语义217

3.5 变量、说明和作用域228

3.6 过程和函数239

3.7 元语言METAIV254

3.8 域的递归理论270

3.9 递归域的两个模型283

3.10 幂域理论303

3.11 不确定程序的指称语义319

4.1 概述327

第四章公理语义327

4.2 Hoare公理系统339

4.3 分程序的公理语义353

4.4 过程的公理语义364

4.5 联立子程序的公理语义380

4.6 类程的公理语义399

4.7 Pascal的公理语义409

4.8 完备性和可表达性423

4.9 过程公理的健康性和完备性434

4.10 完全正确性448

4.11 最弱前置谓词和不确定性公理语义461

4.12 类型理论和程序逻辑474

4.13 模态逻辑和时序逻辑492

4.14 支时序逻辑和线性时序逻辑500

4.15 动态逻辑516

第五章代数语义527

5.1 概述527

5.2 ∑代数和初始语义536

5.3 扩充的公理形式549

5.4 健康性、完备性和可判定性560

5.5 充分完备性和层次一致性575

5.6 理论描述语言Clear584

5.7 代数语义的范畴论基础592

5.8 终结语义610

5.9 格语义621

5.10 可观察性和观察等价性630

5.11 偏∑代数648

5.12 模型描述语言ASL666

5.13 程序设计语言的代数语义677

5.14 带动态结构的程序的语义690

第六章并发和分布式程序的形式语义700

6.1 概述700

6.2 分布式程序设计语言CSP716

6.3 CSP的结构化操作语义727

6.4 CSP的流语义740

6.5 TCSP和失败语义749

6.6 并行程序的公理语义761

6.7 CSP的公理语义770

6.8 通信系统演算（CCS）791

6.9 CCS的操作语义797

6.10 同步树和通信树806

6.11 双模拟和行为等价性815

6.12 SCCS和集合推导语义830

6.13 CCS的偏序推导语义837

6.14 CCS的Petri网语义851

6.15 分布式变迁系统和CCS859

参考文献872