程序设计语言的形式语义

Glynn Winskel

文学

计算机科学 形式语义 编程语言 计算机 计算理论 理论 程序设计语言 语义

2004-1

中信出版社 机械工业出版社

目录
第一章 集合论基础 第二章 操作语义 第三章 归纳原理 第四章 归纳定义 第五章 IMP的指称语义 第六章 IMP的公理语义 第七章 霍尔规则的完备性 第八章 域论 第九章 递归方程 第十章 递归技术 第十一章 高阶类型语言 第十二章 信息系统 第十三章 递归类型 第十四章 不确定性和并行性
【展开】
内容简介
本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。   本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
【展开】
下载说明

1、追日是作者栎年创作的原创作品,下载链接均为网友上传的的网盘链接!

2、相识电子书提供优质免费的txt、pdf等下载链接,所有电子书均为完整版!

下载链接
热门评论
  • 良奇0hao的评论
    这门开卷的程序设计语言的形式语义把我旁边的兄弟逼到这个地步,真可怕。
  • Doreve的评论
    收藏了《程序设计语言的形式语义》(The Formal Semantics of Programming Languages An Introduction)英文扫描版[PDF] #VeryCD资源收藏# 网页链接
  • -unregistered-的评论
    想读《程序设计语言的形式语义》 “这不是跟编程的本质很像吗……” 网页链接
  • 黑白诗歌的评论
    数理逻辑是数学基础的一个不可缺少的组成部分,也是现代计算机技术的基础,在程序验证、程序变换、程序综合、软件形式说明、程序设计语言的形式语义学、人工智能等方面都应用了数理逻辑的概念、方法和理论。网页链接