有关程序设计语言的信息汇编
北京大学图书馆参考书目
译著
TP312/276程序设计语言基础, Ellis Horowitz著 裘宗燕译  北京 北京大学出版社,1990
TP312/3257编程语言 原理与范型,Allen B. Tucker, Robert E. Nooman著,李德龙译,清华大学出版社, 2008
TP311.1/9程序设计语言设计与实现, T.W. Pratt,M.V. Zelkowits著,傅育熙等译校,电子工业出版社 1998,2001
TP312/2152程序设计语言 概念和结构, Programming Languages Concept & Constructs (美) Ravi Sethi著 裘宗燕等译,塞西, R. (Sethi, Ravi) 著
TP312/2881, 2881.2程序设计语言原理, Concepts of programming languages (美) Robert W. Sebesta著 张勤译,谢拜什陶, R. W. (Sebesta, Robert W.) 著
TP312/2792程序设计语言 原理与实践, Programming languages principles and practice (美) Kenneth C. Louden著 黄林鹏 ... 等译,劳登, K. C. (Louden, Kenneth C.) 著
TP301.2/6程序设计语言的形式语义, The formal semantics of programming languages an introduction Glynn Winskel著 宋国新 ... 等译,温斯克尔, G. (Winskel, Glynn) 著
TP311.11/39.1程序设计语言 实践之路, Programming language pragmatics (美) Michael L. Scott著 裘宗燕译
TP312/3035程序设计语言理论基础, Foundations for programming languages (美) John C. Mitchell著 许满武 [等] 译
TP312/2961类型和程序设计语言, Types and programming languages (美) Benjamin C. Pierce著 马世龙, 眭跃飞等译
中文著作
TP312/2921.1程序设计语言理论,陈意云, 张昱,高等教育出版社,2010
TP311/50高级程序设计语言原理, 徐宝文编著,北京,航空工业出版社 1992
TP312/464程序设计语言结构 董 浩,安淑芝编 哈尔滨 哈尔滨船舶工程学院出版社,1992
TP312/597程序设计语言 童忠勇, Robert H Wen主编 南开大学出版社 1994
TP312/887函数程序设计语言 计算模型、编译技术、系统结构 郑纬民,周光明,田新民编著。北京 清华大学出版社 1997。丛编说明: 中国计算机学会学术著作丛书
TP312/964计算机程序设计语言原理 高集荣,田艳编著 西北工业大学出版社,1997
英文著作
TP312/w3402Programming Languages Concept and Paradigms Divid A. Watt Prentice Hall, 1990(这是Watt关于程序设计语言的三卷一套的著作中的一本。其另一本为(TP312/W34p)Programming language syntax and semantics / David A. Watt, New York : Prentice Hall, c1991.
TP312/W34Programming language design concepts Watt, David A. (David Anthony)
TP312/Se21c3Concepts of Programming Languages, Robert W. Sebesta, Reading, Mass.: Addison-Wesley Pub. Co., 1996.
TP312/Sco85Programming language pragmatics, Scott, Michael Lee
TP312/W695.3Comparative programming languages Wilson, Leslie B.
TP312/M694c/2004Concepts in programming languages, Mitchell, John C.
TP312/Se21c5Concepts of programming languages, Sebesta, Robert W.
TP312/F914e2Essentials of programming languages, Friedman, Daniel P.
TP312/M694Foundations for programming languages, Mitchell, John C.
TP312/T0795Programming languages, Tucker, Allen B.
TP312/Se75.2Programming languages : concepts and constructs, Sethi, Ravi
TP312/T795pProgramming languages : principles and paradigms, Tucker, Allen B.
TP312/L926.2Programming languages : principles and practice, Louden, Kenneth C.
TP312/P889.4Programming languages : design and implementation, Pratt, Terrence W.
TP312/P611Types and programming languages, Pierce, Benjamin C.
TP3-5/L497/no.489Foundations of Object-Oriented Languages, J.W. de Bakker, W.P. de Roever, G. Rozenberg (Eds.)
TP312/Ad95p(SX)Advanced topics in types and programming languages Pierce, Benjamin C., 2005
两本文献汇编
TP312-09/H629:2History of programming languages II (程序设计语言的历史II会议文集), edited by T.J. Bergin, Jr. and R.G. Gibson, Jr. Bergin, J. Thomas ACM Press; Reading, Mass.:Addison-Wesley Pub. Co., 1996.
TP312/P944.3Programming Languages: A Grand Tour,Ellis Horowitz 编辑的直至1982年的程序设计语言领域重要文献的文集(包括大约30篇文章),1982
与程序设计语言领域有关的重要国际杂志
ACM Transactions on Programming Languages and Systems
ACM SIGPLAN Notices(ACM程序设计语言兴趣组的会刊,其中包括许多ACM组织的程序设计语言国际会议的文集)
ACM Letters on Programming Languages and Systems
Computer Languages
下面杂志中也有许多关于程序设计语言的论文:
  • ACM Computing Surveys
  • Communications of the ACM
  • Software: Practice and Experience
  • IEEE Software
  • IEEE Computer
  • IEEE Transaction on Software Engineering
  • IEEE Transaction on Computer
下面杂志是有关程序设计的,其中也有许多有关程序设计语言的讨论:
  • Journal of Functional Programming
  • Journal of Logical Programming
  • Journal of Object-Oriented Programming
与程序设计语言领域有关的重要国际会议
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Modular programming languages : Joint Modular Languages Conference (JMLC)
Programming Languages and Systems, European Symposium on Programming (ESOP)
ASIAN Symposium on Programming Languages and Systems (APLAS)
Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
ETAPS - Workshop on Quantitative Aspects of Programming Languages (QAPL)
ETAPS - Workshop on Language Descriptions, Tools and Applications (LDTA)
ETAPS - The European Symposium on Programming (ESOP)
IMCSCE - International Conference on Programming Languages and Compilers (PLC)
Forum on specification & Design Languages (FDL)
European Conference on Object-Oriented Programming (ECOOP)
International Conference on Languages and Models with Objects (LMO)
...
国外若干主要大学的程序设计语言课程主页
Berkeley: Design and Analysis of Programming Languages, http://www.eecs.berkeley.edu/~necula/cs263/
Harvard: Programming Languages, http://www.eecs.harvard.edu/~nr/cs152/
MIT: Programming Languages, http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-821Programming-LanguagesFall2002/Calendar/index.htm
CMU: Foundations of Programming Languages, Professor: Karl Crary, http://www-2.cs.cmu.edu/~crary/312/index.html
BOSTON University, Professor Kfoury, http://www.cs.bu.edu/faculty/kfoury/CS520-Fall04/description.html
...
本页及相关页面(除另声明者外)由裘宗燕创建维护,可自由用于各种学习活动。 其他使用需得到作者许可。