理论计算机科学——程序设计语言

网络流

来自: 网络流 (上海)
创建时间: 2007-12-29 22:14:42 最后修改时间: 2011-01-07 17:25:11

  收集程序设计语言领域的基础理论著作,也包括部分偏应用层面的经典著作(主要是流行语言相关)。
  
  相关豆列:
  理论计算机科学——算法与可计算性
  计算机系学生的数学书架
  


20人
全部图书(15)

2007-12-29 14:17:07添加 1. 程序设计语言的形式语义

作者 : Glynn Winskel
出版社 : 中信出版社,机械工业出版社

2007-12-29 14:17:18添加 2. 程序设计语言理论基础

作者 : 米切尔
出版社 : 电子工业出版社

2007-12-29 14:17:27添加 3. 类型和程序设计语言

作者 : 皮尔斯
出版社 : 电子工业出版社

作者 : Pierce, Benjamin C. (EDT)
出版社 : The MIT Press

评语 : Types and Programming Languages的续篇,国内尚未引进。

2007-12-29 14:35:53添加 5. 程序设计语言原理

作者 : Robert W.Sebesta
出版社 : 机械工业出版社

2008-01-05 18:12:39添加 6. 程序设计语言概念

作者 : John C. Mitchell, Krzysztof Apt
出版社 : 清华大学出版社

2007-12-29 14:28:03添加 7. 程序设计语言

作者 : 斯科特

作者 : Kenneth C.Louden
出版社 : 电子工业出版社

2007-12-29 14:30:40添加 9. 计算机程序的构造和解释

作者 : Harold Abelson/Gerald Jay Sussman/Julie Sussman
出版社 : 机械工业出版社

2007-12-29 14:22:49添加 10. C程序设计语言

作者 : Brian W. Kernighan/Dennis M. Ritchie
出版社 : 机械工业出版社

作者 : [美] Bjarne Stroustrup
出版社 : 高等教育出版社

2007-12-29 14:31:20添加 12. C++语言的设计和演化(英文版)

作者 : Bjarne Stroustrup
出版社 : 机械工业出版社

2007-12-29 14:23:44添加 13. ML程序设计教程

作者 : [英] Lawrence C.Paulson
出版社 : 机械工业

2007-12-29 14:55:58添加 14. On Lisp

作者 : Paul Graham
出版社 : Prentice Hall

评语 : Lisp相关的好书不少,暂选这一本。作者主页上有电子版可免费下载。

2007-12-29 14:59:56添加 15. Thinking Forth

作者 : Leo Brodie
出版社 : Punchy Publishing

评语 : Forth不是一种理论性很强的语言,但却是最独特的语言之一。sourceforge上有作者授权的免费电子版下载。