首页
小组
读书
电影
音乐
同城
九点
书籍
电影
音乐
小组
成员
活动
购书单
书评
排行榜
分类浏览
你好,请
登录
或
注册
程序设计语言理论基础
放在你的blog里!
又名: Foundations for Programming Languages
作者
:
(美)米切尔
译者
:
许满武
ISBN:
9787121032240
页数:
563
定价:
68.0
出版社:
电子工业出版社
装帧:
平装
出版年:
2006-11-01
(
少于10人评价
)
50.0%
50.0%
0.0%
0.0%
0.0%
想读
在读
读过
评价:
写书评
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
加入豆列
推荐
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
简介 · · · · · ·
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。
本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。更先进的技术机制,诸如逻辑关系的方法、范畴论和递归定义类型的语义在中间的几章论述。本书最后三章研究多态类型,连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。
本书可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
豆瓣成员常用的标签(共8个) · · · · · ·
计算机科学
(7)
计算机软件和理论
(3)
程序设计语言
(2)
programming
(1)
规划设计和机械化
(1)
计算机
(1)
语义
(1)
语言
(1)
喜欢读"程序设计语言理论基础"的人也喜欢 · · · · · ·
常微分方程
古今数学思想(四)
通鉴胡注表微(全二册)
白虎通疏证——新编诸子集成(上下册
早期希腊哲学
古代中国的思想世界
江户时代中国典籍流播日本之研究/日本文化研究丛书
Beginning Sanskrit
周易集解纂疏
古今数学思想(三)
我来评论这本书
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
第一个在"程序设计语言理论基础"的论坛里发言
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
在哪儿买这本书? · · · · · ·
北发图书网
(
RMB 50.30
)
查看3家网店价格(46.92元起)
1本二手书欲转让
(70.00元)
> 点这儿转让
有25人想读,手里有一本闲着?
X
登录 · · · · · ·
Email:
密 码:
忘记密码了
在这台电脑上记住我
>还没有注册...
以下豆列推荐 · · · · · ·
理论计算机科学——程序设计语言
(网络流)
语言、思维与智能
(pem)
语义和类型系统
(Yingfeng)
编程语言理论
(weiky)
谁读这本书?
jimychen
11月8日想读
RednaxelaFX
10月31日读过
善为
10月24日想读
tags:计算机
flika
10月12日想读
tags:计算机科学
>
5人在读
>
4人读过
>
25人想读
>
收藏这本书的3个小组
订阅关于程序设计语言理论基础的评论:
feed: rss 2.0