程序设计语言的形式语义.pdf

发布时间：2022-05-29 发布人：admin 分类：说明书资料大小：28.08M 资料格式：pdf 举报版权申诉

u013046920-8733623-4744302543319890625.pdf-第1页.png

第1页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第2页.png

第2页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第3页.png

第3页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第4页.png

第4页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第5页.png

第5页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第6页.png

第6页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第7页.png

第7页 / 共898页

u013046920-8733623-4744302543319890625.pdf-第8页.png

第8页 / 共898页

封面

书名

版权

前言

目录

目录

前言

第一章数学基础

§1.1 λ演算

§1.2格论

§1.3范畴论

§1.4不动点理论

§1.5 Petri网论

第二章操作语义

§2.1概述

§2.2SECD抽象机

§2.3维也纳定义语言

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

§2.5 W文法及其抽象机

§2.6变换语义学

§2.7结构化的操作语义

第三章指称语义

§3.1概述

§3.2指称语义的描述方法

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

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

§3.5变量、说明和作用域

§3.6过程和函数

§3.7元语言META IV

§3.8域的递归理论

§3.9递归域的两个模型

§3.10 幂域理论

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

第四章公理语义

§4.1概述

§4.2 Hoare公理系统

§4.3分程序的公理语义

§4.4过程的公理语义

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

§4.6类程的公理语义

§4.7 Pascal的公理语义

§4.8完备性和可表达性

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

§4.10完全正确性

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

§4.12类型理论和程序逻辑

§4.13模态逻辑和时序逻辑

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

§4.15动态逻辑

第五章代数语义

§5.1概述

§5.2 ∑代数和初始语义

§5.3扩充的公理形式

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

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

§5.6理论描述语言Clear

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

§5.8终结语义

§5.9格语义

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

§5.11偏∑代数

§5.12模型描述语言ASL

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

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

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

§6.1概述

§6.2分布式程序设计语言CSP

§6.3 CSP的结构化操作语义

§6.4 CSP的流语义

§6.5 TCSP和失败语义

§6.6并行程序的公理语义

§6.7 CSP的公理语义

§6.8通信系统演算（CCS）

§6.9 CCS的操作语义

§6.10同步树和通信树

§6.11双模拟和行为等价性

§6.12 SCCS和集合推导语义

§6.13 CCS的偏序推导语义

§6.14 CCS的Petri网语义

§6.15分布式变迁系统和CCS

参考文献

分享到：

赞收藏

相关推荐