|
000
|
02019nam 2200325 450
|
|
001
|
8107
|
|
010
|
|
@a978-7-111-69740-4@dCNY139.00
|
|
100
|
|
@a20230722d2022 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a实用编程语言理论基础@Ashi yong bian cheng yu yan li lun ji chu@f(美) 罗伯特·哈珀著@d= Practical foundations for programming languages@fRobert Harper@g张昱, 胡明哲等译@zeng
|
|
210
|
|
@a北京@c机械工业出版社@d2022.03
|
|
215
|
|
@aXIV, 385页@d26cm
|
|
225
|
2
|
@a计算机科学丛书@Aji suan ji ke xue cong shu
|
|
305
|
|
@a据原书第2版译出
|
|
306
|
|
@a由剑桥大学出版社与机械工业出版社合作出版
|
|
314
|
|
@a罗伯特·哈珀 (Robert Harper), 卡内基·梅隆大学计算机科学系教授, 他的主要研究兴趣是类型论在编程语言的设计与实现中的应用, 以及其元理论的机械化。Harper是Allen Newell卓越研究奖章和Herbert A.Simon卓越教学奖的获得者, 并且是ACM会士。张昱, 博士, 中国科学技术大学计算机科学与技术学院、网络空间安全学院副教授。研究兴趣包括程序设计语言、操作系统和并行计算等, 特别是面向人工智能和量子计算等新领域的编程系统、软件分析、异构计算与系统优化等。胡明哲中国科学技术大学网络空间安全学院博士研究生。主要研究方向为多语言软件的程序分析。
|
|
320
|
|
@a有书目 (第379-385页)
|
|
330
|
|
@a本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订, 几乎每章都包含习题, 并新增一章讨论类型细化。本书涉及的概念厂泛, 包括: 基本数据类型, 多态和抽象类型, 动态定型, 动态分派, 子类型和类型细化, 符号和动态分类, 并行和成本语义, 并发和分布。书中对不同编程语言的特性做了分析、证明和比较, 所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证。
|
|
410
|
0
|
@12001 @a计算机科学丛书
|
|
500
|
10
|
@aPractical foundations for programming languages@mChinese
|
|
606
|
0
|
@a程序语言@Acheng xu yu yan@x程序设计
|
|
690
|
|
@aTP312@v5
|
|
701
|
1
|
@a哈珀@Aha po@g(Harper, Robert)@4著
|
|
702
|
0
|
@a张昱@Azhang yu@4译
|
|
702
|
0
|
@a胡明哲@Ahu ming zhe@4译
|
|
801
|
0
|
@aCN@b郑州旅游职业学院@c20230722
|
|
905
|
|
@aZZLYZY@dTP312@e1127
|
|
|
|
|
| |
| 实用编程语言理论基础/(美) 罗伯特·哈珀著= Practical foundations for programming languages/Robert Harper/张昱, 胡明哲等译.-北京：机械工业出版社，2022.03 |
| XIV, 385页；26cm.-(计算机科学丛书) |
| |
| |
| ISBN 978-7-111-69740-4：CNY139.00 |
| 本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订, 几乎每章都包含习题, 并新增一章讨论类型细化。本书涉及的概念厂泛, 包括: 基本数据类型, 多态和抽象类型, 动态定型, 动态分派, 子类型和类型细化, 符号和动态分类, 并行和成本语义, 并发和分布。书中对不同编程语言的特性做了分析、证明和比较, 所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证。 |
| ● |
正题名：实用编程语言理论基础
索取号：TP312/1127
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1323695
|
213236951
|
十四楼书库/
[索取号:TP312/1127]
|
在馆
|
架位导航
|
|
2
|
1323696
|
213236960
|
十四楼书库/
[索取号:TP312/1127]
|
在馆
|
架位导航
|
|
3
|
1323697
|
213236979
|
十四楼书库/
[索取号:TP312/1127]
|
在馆
|
架位导航
|
