图书介绍

程序设计语言的形式语义

程序设计语言的形式语义
  • GlynnWinskel 著;宋国新,邵志清 等 译
  • 出版社: 机械工业出版社
  • ISBN:9787111131533
  • 版次:1
  • 商品编码:10131530
  • 包装:平装
  • 丛书名: 计算机科学丛书
  • 开本:16开
  • 出版时间:2004-01-01
  • 用纸:胶版纸
  • 页数:283

微信扫码关注

淘宝优惠券

PDF下载

立即下载 备用下载

赞助商

图书目录

出版者的话
专家指导委员会
译者序
译者简介
前言
第1章 集合论基础
第1节 逻辑记号
第2节 集合
第3节 关系与函数
第4节 进一步阅读资料

第2章 操作语义
第1节 IMP——一种简单的命令式语言
第2节 算术表达式的求值
第3节 布尔表达式的求值
第4节 命令的执行
第5节 一个简单的证明
第6节 另一种语义
第7节 进一步阅读资料

第3章 归纳原理
第1节 数学归纳法
第2节 结构归纳法
第3节 良基归纳法
第4节 对推导的归纳
第5节 归纳定义
第6节 进一步阅读资料

第4章 归纳定义
第1节 规则归纳法
第2节 特殊的规则归纳法
第3节 操作语义的证明规则
第4节 算子及其最小不动点
第5节 进一步阅读资料

第5章 IMP的指称语义
第1节 目的
第2节 指称语义
第3节 语义的等价性
第4节 完全偏序与连纪函数
第5节 克纳斯特-塔尔斯基定理
第6节 进一步阅读资料

第6章 IMP的公理语义
第1节 基本思想
第2节 断言语言Assn
第3节 断言的语义
第4节 部分正确性的证明规则
第5节 可靠性
第6节 应用霍尔规则的一个示例
第7节 进一步阅读资料

第7章 霍尔规则的完备性
第8章 域论
第9章 递归方程
第10章 递归技术
第11章 高阶类型语言
第12章 信息系统
第13章 递归类型
第14章 不确定性和并行性
附录A 不完备性和不可判定性
参考文献
索引

查看全部 ↓

精品推荐