又名: The Formal Semantics of Programming Languages:An Introduction
译者: 邵志清 / 宋国新
作者: Glynn Winskel
译者: 邵志清 / 宋国新
作者: Glynn Winskel
ISBN: 9787111131533
页数: 283
定价: 32.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2004-1-1
页数: 283
定价: 32.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2004-1-1
简介 · · · · · ·
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。
本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。
作者简介 · · · · · ·
GlynN Winskel，曾任丹麦Aarhus大学计算机科学系教授，计算机科学基础研究中心主任，现任剑桥大学计算机实验室教授。
喜欢读"程序设计语言的形式语义"的人也喜欢 · · · · · ·
"程序设计语言的形式语义"论坛 · · · · · ·
| 形式语义学的经典入门书籍 | 来自star | 2008-12-15 |
以下豆列推荐 · · · · · ·
- 理论计算机科学——程序设计语言 (网络流)
- 语言、思维与智能 (pem)
- 形式化方法书目 (Char)
- 编程语言理论 (weiky)
谁读这本书?
订阅关于程序设计语言的形式语义的评论:
feed: rss 2.0