程序设计语言的形式语义
作者:
Glynn Winskel
出版社: 中信出版社 机械工业出版社
原作名: The Formal Semantics of Programming Languages
译者: 宋国新
出版年: 2004-1
页数: 283
定价: 32.00元
装帧: 平装
丛书: 计算机科学丛书
ISBN: 9787111131533
出版社: 中信出版社 机械工业出版社
原作名: The Formal Semantics of Programming Languages
译者: 宋国新
出版年: 2004-1
页数: 283
定价: 32.00元
装帧: 平装
丛书: 计算机科学丛书
ISBN: 9787111131533
内容简介
本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学...
目录
该书热门标签
- 最新
- 热门
- 最新
- 热门
-
计算机为什么可以按你所说的去做?
0有用 Zen 2017-01-07
计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。当我们在计算机上撸代码时,如a=1,我们心... 查看全部>>
-
计算机为什么可以按你所说的去做?
0有用 Zen 2017-01-07
计算机为什么会按人类的指令去执行?这本书用形式化语言(数学)证明了这个可能性。人类的语言如何“翻译”(映射)成机器语言?“翻译”过程如何保证了“语义”不变性。当我们在计算机上撸代码时,如a=1,我们心... 查看全部>>
评价“程序设计语言的形式语义”