程序设计语言概论 复习 2011.12.14.  考试时间 : 2012.1.4 下午 2:00~4:00  考试地点 :

Presentation on theme: "程序设计语言概论 复习 2011.12.14.  考试时间 : 2012.1.4 下午 2:00~4:00  考试地点 :"— Presentation transcript:

1 程序设计语言概论 复习 2011.12.14

2  考试时间 : 2012.1.4 下午 2:00~4:00  考试地点 :

3 第一章  高级程序设计语言的设计目标  程序的解决方案与问题的物理结构相匹配  全世界广泛使用  易证明解决方案的正确性  程序设计语言的编程范型  命令型、函数式、逻辑型、面向对象

4 第二章  语言设计要考虑的基本因素  硬件计算机  虚拟计算机（或执行模型）  计算模型  虚拟计算机  程序运行时的数据和算法所定义的计算机

5 第三章  程序的语法与语义  定义、形式、及分类  程序的主要构成  声明 + 控制  语言的翻译  分析  词法、语法、语义，各阶段的功能  综合  优化、目标代码生成

6 第三章（续）  BNF 文法  文法的推导过程  文法定义的语言  语法分析树  文法的二义性及其解决  有限状态自动机 (FSA)  FSA 的能力  接受一个句子与识别一个语言的区别  FSA 与正则文法、正则表达式之间的相互转换  下推自动机 (PDA)  运行原理  PDA 的能力

7 第四章  语义模型  文法模型、操作模型、应用模型、公理模型、规约模型  属性文法  表达式的语义  程序验证的关键性问题  建模 / 规约、实现、验证  公理语义  程序正确性证明

8 第五章  数据对象  数据对象的属性  数据值  数据类型  数据类型的构成  类型的转换  常见基本数据类型的实现

9 第六章  常见结构化数据类型的实现  常见的抽象机制  结构化数据、子程序、类型声明、继承  抽象数据类型  信息隐蔽与封装  子程序  定义与激活、激活的生命周期  类型检查与等价  强类型、弱类型、静态与动态检查  类型等价 与 数据对象相等

10 第七章  继承  继承的根源  对象的派生、方法的继承  重载  定义及冲突解决  多态  多态的创建与实现  动态多态

11 第八章  顺序控制的层次  算术表达式的顺序控制  表达式的表示方法  树形表示、线性表示  表示方法蕴含（或不蕴含）计算顺序  不同表达方法的计值过程  计值中存在的问题  计值规则、副作用、出错、布尔表达式短路

12 第八章（续）  语句的顺序控制  主要控制结构  结构化程序设计的基本原则  素程序  定义  合式程序的分解  素程序定理的证明  逻辑表达式  替代与合一

13 第九章  子程序控制  子程序控制的主要目标  局部变量的访问，变量的作用域  激活记录堆栈的管理  参数传递  基本方法：按名、按值、按引用等

14 第十章  堆存储中存在的主要问题  引用悬空、不可访问的存储区、存储碎片  垃圾回收  常用的回收算法

15 第十一章  例外处理  产生例外的方式  例外的传播  并行编成  并行任务和协程  并行程序的存储管理  不确定性程序  卫哨命令  同步和信号  信号和消息的适用范围

16 常见程序设计语言  C/C++  Java  Smalltalk  Prolog  Lisp  等等