程序设计语言原理new

《程序设计语言原理new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、程序设计语言原理PrincipleofProgrammingLanguages北京大学数学学院裘宗燕2009.2～2009.61本课程共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日课程主页：www.is.pku.edu.cn/~qzy/plan/课堂讲授，欢迎课堂讨论，请积极提问参加布置一些作业，要求按时完成（平时成绩占50%以上）课程后期要求同学研究一点与程序设计语

2、言有关的问题，写出研究报告。可能有期末考试。我的email：qzy@math.pku.edu.cn注意：有些校外email地址与校内email通讯不可靠。2主要讨论程序设计语言的各种主要机制及其相关问题主要关注点不是程序设计，而是程序设计语言。包括：•语言的设计和实现•重要的语言特征（features）•语言特征的语法、语义和实现问题•与之相关的性质和问题对语言的深刻理解与正确良好的使用有密切关系。本课在国内开设不多，在国外许多大学是本科生高年级或研究所低年级的基本课程。在ACM/IEEE的1991教程和200

3、1教程里都列入“程序设计语言”课程网页上有国际上这方面课程开设情况，用书情况的链接3程序设计语言已是一个很丰富的领域，本课程的内容可以有多种选择。常见的三种：•以程序设计语言的最基本结构和实现为主要线索。这种课程与编译课程有相似之处，但减弱一些词法和语法处理，增加一些高层次语言特征的讨论和实现研究•以不同语言的重要特征和比较为主要线索。有些教材分别列举了许多常见语言；有些教材则以语言特征为线索，讨论各种语言特征的要素和变化。•更多强调程序设计语言语义的形式化理论，可包括语义模型，类型理论等等。通常是研究生高级课

4、程。本课程基本采用第二种方式，但也结合讨论一些语法、语义描述和重要特征的实现问题。4教学参考书不完全按某本书，以下面两本教材作为主要教学参考书：《程序设计语言——实践之路》（MichaelL.Scott,ProgrammingLanguagePragmatics,MorganKaufmann,1999）。裘宗燕译，电子工业，2005.2。今后简称PLP。第二版中译本，2007《程序设计语言——原理和实践》（KennethC.Louden,ProgrammingLanguages-PrinciplesandPra

5、ctice,Thomson,2002）。影印版：电子工业，2003；黄林鹏等译，电子工业，2004。简称PP网页上提供了另一些相关教材的信息，包括译著和著作，北大图书馆图书编目号等。5