序设计语言原理.pdfVIP

程序设计语言原理 Principle of Programming Languages 北京大学数学学院 裘宗燕 2009.2 ～2009.6 1 本课程共24次课： 2月3次：16，18，23 日 3月7次：2 ，4 ，9，16，18，23 ，30 日 4月7次：1，6，13，15，20 ，27 ，29 日 5月6次：4 ，11，13，18，25 ，27 日 6月1次：1 日 课程主页：/~qzy/plan/ 课堂讲授，欢迎课堂讨论，请积极提问参加 布置一些作业，要求按时完成（平时成绩占50% 以上） 课程后期要求同学研究一点与程序设计语言有关的问题，写出研究报告。 可能有期末考试。 我的email ：qzy@ 注意：有些校外email地址与校内email通讯不可靠。 2 主要讨论程序设计语言的各种主要机制及其相关问题 主要关注点不是程序设计，而是程序设计语言。包括： • 语言的设计和实现 • 重要的语言特征（features ） • 语言特征的语法、语义和实现问题 • 与之相关的性质和问题 对语言的深刻理解与正确良好的使用有密切关系。 本课在国内开设不多，在国外许多大学是本科生高年级或研究 所低年级的基本课程。在ACM/IEEE 的1991 教程和2001 教程 里都列入“程序设计语言”课程 网页上有国际上这方面课程开设情况，用书情况的链接 3 程序设计语言已是一个很丰富的领域，本课程的内容可以有多 种选择。常见的三种： • 以程序设计语言的最基本结构和实现为主要线索。这种课程与 编译课程有相似之处，但减弱一些词法和语法处理，增加一些 高层次语言特征的讨论和实现研究 • 以不同语言的重要特征和比较为主要线索。有些教材分别列举 了许多常见语言；有些教材则以语言特征为线索，讨论各种语 言特征的要素和变化。 • 更多强调程序设计语言语义的形式化理论，可包括语义模型， 类型理论等等。通常是研究生高级课程。 本课程基本采用第二种方式，但也结合讨论一些语法、语义描 述和重要特征的实现问题。 4 教学参考书 不完全按某本书，以下面两本教材作为主要教学参考书： 《程序设计语言——实践之路》（Michael L. Scott, Programming Language Pragmatics, Morgan Kaufmann, 1999 ）。裘宗燕译，电子工业，2005.2 。 今后简称PLP 。第二版中译本，2007 《程序设计语言——原理和实践》（Kenneth C. Louden, Programming Languages - Principles and Practice, Thomson, 2002 ）。影印版：电子工业， 2003 ；黄林鹏等译，电子工业，2004 。简称PP 网页上提供了另一些相关教材的信息，包括译著和著作，北大 图书馆图书编目号等。 5