程序设计语言概论.pptVIP

程序设计语言概论复习2011.12.14

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

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

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

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

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

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

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

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