程序设计语言原理85048

程序设计语言原理85048

ID:34488549

大小:94.98 KB

页数:3页

时间:2019-03-06

程序设计语言原理85048_第1页
程序设计语言原理85048_第2页
程序设计语言原理85048_第3页
资源描述:

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

1、程序设计语言原理PrincipleofProgrammingLanguages北京大学数学学院裘宗燕2012.2~2012.61本课程大约24次课:课程主页:www.math.pku.edu.cn/teachers/qiuzy/plan/课堂讲授,欢迎课堂讨论,请积极提问参加布置一些作业,要求按时完成(平时成绩占50%以上)5-7次,约两周一次课程后期要求同学研究一点与程序设计语言有关的问题写出研究报告可能有期末考试,看情况确定我的email:qzy@math.pku.edu.cn注意:有些校外email地址与校内email通讯不可靠。2主要讨论程序设计语言的各种主要机制

2、及其相关问题主要关注点不是程序设计,而是程序设计语言。包括:•语言的设计和实现•重要的语言特征(features)o这些语言特征的语法、语义和实现问题o与之相关的性质和情况对语言的深刻理解与正确良好的使用有密切关系。本课在国内开设不多,一些重要学校有类似课程国外许多大学是本科高年级或研究生基本课程。ACM/IEEE的几个教程里都列入了“程序设计语言”课程网页上有国际上相关课程开设情况和教材情况的链接3程序语言是很丰富的领域,课程内容可有多种选择。常见三种:•以程序设计语言的最基本特征及其实现为线索与编译课程有相似之处,但减弱一些词法和语法处理,增加一些高层次语言特征的讨论

3、和实现研究•以不同语言的重要特征和比较为主要线索有些教材分别列举许多常见语言;有些教材则以语言特征为线索,讨论各种语言特征的要素和变化•更多强调程序设计语言的理论,如关注程序语言的语义模型,类型理论等。通常是研究生高级课程本课程基本采用第二种方式但也结合讨论一些语法、语义描述和重要特征的实现问题4参考书本课程不完全按某本书讲,以下面教材作为主要教学参考书:《程序设计语言——实践之路》(MichaelL.Scott,ProgrammingLanguagePragmatics,MorganKaufmann,1999)。裘宗燕译,电子工业,2005.2。今后简称PLP。第二版中

4、译本,2007《程序设计语言——原理和实践》(KennethC.Louden,ProgrammingLanguages-PrinciplesandPractice,Thomson,2002)。影印版:电子工业,2003;黄林鹏等译,电子工业,2004。简称PP网页上提供了另一些相关教材的信息,包括译著和著作,北大图书馆图书编目号等5

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。