1. 类型检查 对数据对象的类型和使用的操作是否匹配的一致性检查称为类型检查. 2. 静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便,但影响了可读性,且降低了执行效率

可见,非终结符P产生一系列i:T形式的说明语句

一. 优化的定义 优化是一种等价的，有效的程序变换等价——不改变程序运行结果有效——时空效率要高

语言特点：允许递归，允许动态数组，允许过程嵌套定义

三. 含数组元素的赋值语句的翻译 1. 数组元素的地址计算公式 (1)数组定义的一般形式

语言分类: 强制式(命令式或面向语句) 函数式 逻辑式 面向对象

7.1面向对象的基本概念与特征 7.2面向对象的系统开发原理与步骤 7.3面向对象分析（OOA） 7.4面向对象设计（OOD） 7.5面向对象的程序设计语言（OOPL）

6.1 编程方法介绍 6.2 程序设计语言的选择 6.3 程序设计的风格 6.4 程序设计的技巧 6.5 系统实现阶段的文档

1.1程序设计语言的发展 1.2程序设计的基本过程 1.3程序设计的基本方法

7.1子程序顺序控制 7.2数据控制的属性