《形式语义学(计算机专业研究生教材)》(作者杨静、杨华、杨溢龙、段国勇、朱浩等)分为六个章节，分别介绍引言，操作语义的语义框架，指称语义的数学描述方法，公理语义的推理模式，静态程序分析的基本方法，最后是实例研究。

本书可作为计算机专业本科生、研究生教材，也可作为相关领域研究人员、教师的参考书。

第一章 序

1．1 操作语义

1．2 指称语义

1．3 公理语义

1．4 While语言

1．5 表达式语义

1．6 语义属性

第二章 操作语义

2．1 自然语义

2．2 结构化的操作语义

第三章 指称语义

3．1 指称语义

3．2 While语言的指称语义描述

3．3 不动点理论基础

3．4 不动点理论

3．5 连续函数

3．6 循环语句的语义定义

3．7 指称语义与结构化操作语义的等价

第四章 公理化程序验证

4．1 程序正确性的直接证明

4．2 部分正确性断言

4．3 可靠性与完备性

第五章 静态程序分析

5．1 性质与特征状态

5．2 分析表达式与语句

第六章 实例研究

参考文献

英汉名词对照表

作者简介