研究生课程教学大纲、教学周历
课程序号：
| 课程 名称 | 中文 | 程序设计语言原理 | |||||||||||||
| 英文 | Principle of Programming Language | ||||||||||||||
| 课程编号 | | 课程适用学位级别 | 硕士 | ||||||||||||
| 总学时 | 60 | 课内学时 | 60 | 学分 | 3 | ||||||||||
| 实践环节 | | 用机小时 | | ||||||||||||
| 开课院(系) | 计算机系 | 开课学期 | 秋 | 考试方式 | 笔试 | ||||||||||
| 主讲教师 | 教师姓名 | 徐宝文 | 学位 | 博士 | 博导或硕导 | 博导 | |||||||||
| 职称 | 教授 | 学历 | 博士研究生（论文博士） | ||||||||||||
| e-mail | bwxu@seu.edu.cn | 网页地址 | | ||||||||||||
| 授课语言 | 中文 | 课件地址 | | ||||||||||||
| 适用学科范围 | 计算机科学与技术 | 适用学科名称 | 计算机科学与技术 | ||||||||||||
| 实验(案例)个数 | | 先修课程 | 编译原理、面向对象程序设计语言 | ||||||||||||
| 教学用书 | 教材名称 | 教材编者 | 出版社 | 出版年月 | 版次 | ||||||||||
| 主要教材 | 自编讲义 | | | | | ||||||||||
| 主要参考书 | Programming in Ada95, | John Barnes | ADDISON-WESLEY | | | ||||||||||
| Ada软件设计技术 | 王振宇、梁先忠 | 国防工业出版社 | | | |||||||||||
| 程序设计语言――概念和结构 | Ravi Sethi著，裘宗燕译 | 机械工业出版社 | | | |||||||||||
“程序设计语言原理”一课以命令式语言为主线，辅以函数式程序设计语言、和逻辑式程序设计语言、并发式程序设计语言、语义学等内容，讲授程序设计语言的设计目标、原理和效果，比较各种语言的共性和个性。
程序设计语言是计算机学科发展的重要成果，是计算机软件学科的重要基础。“程序设计语言原理”一
第一章
第二章
第三章
第四章
第五章
第六章
第七章
第八章
第九章
| 周次 | 教学内容 | 教学方式 |
| 1 | 导论 课程简介 | |
| 2 | 数据类型 数据类型的发展、设计目标 | |
| 3 | 数据类型 Ada语言的数据类型设计 | |
| 4 | 数据类型 指针类型和内存管理 | |
| 5 | 顺序控制 结构化程序设计 子程序 | |
| 6 | 顺序控制 异常处理 基于事件的隐式调用 | |
| 7 | 封装与抽象 封装设施的发展历史 | |
| 8 | 封装与抽象 程序结构和命名空间管理 | |
| 9 | 继承与多态 Ada语言的面向对象机制 | |
| 10 | 继承与多态 面向对象的一般问题 | |
| 11 | 并发程序设计 临界资源管理、信号量、monitor | |
| 12 | 并发程序设计 消息发送机制、邮箱机制、其它并发机制 | |
| 13 | 函数式程序设计 lambda演算与函数式语言 | |
| 14 | 函数式程序设计语言 lisp和ML语言 | |
| 15 | 语义学初步 操作语义、公理语义简介 | |
| 16 | 语义学初步 指称语义简介 | |
| 17 | | |
| 18 | | |
