形式语义学 形式语义学是利用形式化方法给使用的程序语言一个严格的解释，是各种各样的程序分析和程序验证的理论基础

系列名：计算机专业研究生教材
作者：杨静等 编著	编辑：周宇	ISBN：978-7-305-10238-7
出版时间：201209	字数：110	定价：38
开本：16开	页数：140	装订：平装
版次：1	CIP分类号：

第一章 序
    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 分析表达式与语句
第六章 实例研究