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

网络流

来自: 网络流 (上海)
创建时间: 2007-12-29 22:14:42 

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


10/10人推荐    我不喜欢

共 15 个条目· · · · · ·

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

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

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

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

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

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

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

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

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

作者 : (美)赛巴斯塔
出版社 : 机械工业出版社

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

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

2007-12-29 22:28:03添加 7. 程序设计语言:实践之路(第2版)

作者 : (美)斯科特
出版社 : 电子工业出版社

作者 : [美]劳登(Louden,K.C.)
出版社 : 电子工业出版社

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

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

2007-12-29 22:23:02添加 11. C++程序设计语言(特别版 影印版)

作者 : (美)Bjarne Stroustrup
出版社 : 高等教育出版社

作者 : [美]斯特朗斯特鲁
出版社 : 机械工业出版社

作者 : (英)保罗森(Paulson,L.C.)
出版社 : 机械工业出版社

2007-12-29 22:55:58添加 14. On LISP: Advanced Techniques for Common LISP

作者 : Paul Graham
出版社 : Prentice Hall

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

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

作者 : Leo Brodie
出版社 : Punchy Publishing

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