当前位置：文档之家 › 高级语言程序设计方法学第02章-10

高级语言程序设计方法学第02章-10

  • 格式：pdf
  • 大小：304.72 KB
  • 文档页数：16

下载文档原格式

  / 16

合集下载

《高级程序设计语言》课件

《高级程序设计语言》课件

技能和解决实际问题的能力。
学习目标
掌握多种高级程序设计语 言的基本语法、数据类型 、控制结构等基础知识。
熟悉面向对象编程思想， 了解类、对象、继承、多 态等概念及其在各种高级 语言中的实现。
掌握常用数据结构和算法 ，能够编写高效的程序。
提高分析问题、解决问题 的能力，培养良好的编程 习惯和团队协作精神。
06 并发和并行程序设计
并发和并行程序设计的基本概念
01
并发程序设计
指在单个处理器上实现多个任务同 时执行的一种程序设计方法。
任务划分
将一个大的任务划分为多个小的任 务，每个任务可以独立执行。
03
02
并行程序设计
指利用多个处理器同时执行多个任 务的一种程序设计方法。
任务调度
根据系统资源和任务优先级，合理 安排任务的执行顺序。
04
Spark：一种基于大数据处理的并行计算框架，用于处理大规模数据 集。
并行编程的挑战和解决方案
数据依赖性
并行程序中任务之间的数据依赖关系可能导致死锁或竞争条件。解 决方案包括使用同步原语（如锁、信号量）或避免数据依赖性。
负载均衡
并行程序中任务执行时间的不均衡可能导致资源利用率低下。解决 方案包括任务划分和调度优化。
继承
子类继承父类的属性 和方法，实现代码复 用。
多态
同一消息发送给不同 的对象，产生不同的 行为。
类和对象
类是对象的模板，定 义了对象的属性和方 法。
类和对象的关系是抽 象和具体的关系。
对象是类的实例，具 有类所定义的属性和 方法。
继承和多态
继承
子类继承父类的属性和方法，可 以添加或覆盖父类的方法。
编译期类型擦除

高级语言程序的设计第二章

高级语言程序的设计第二章
形式： Const 常量名 [AS 类型] = 表达式 说明：
(1) 省略 [AS 类型] ，常量的类型由表达式值的类型 决定。
(2) 为了便于与变量名区分，一般常量名使用大写字 母。
举例： Const Pi = 3.14159265358979 Const Max As Integer = 100 Const Birth = #1/1/06# Const MyString = "China"
Private Sub Form_Click() Dim T As Date T=-2.5 Print T
End Sub
单击窗体后，显示结果为：1899-12-28 12:00:00
2020/4/30
11
对象（Object）数据类型
基本数据类型
Object 变量采用 32 位（4 个字节）地址来 存储对象，该地址可引用应用程序中或某些 其他应用程序中的对象。可以随后（用 Set 语句）指定一个被声明为 Object 的变量去引 用应用程序所识别的任何实际对象，如：
基本数据类型
编写程序验证：在程序运行期间可变类型 变量的不同值。
2020/4/30
17
常量与变量
常量与变量
常量
定义：在程序运行过程中其值始终保持不变的量
称为常量。
种类： 直接常量 符号常量
用户自定义符号常量 系统定义符号常量
注意：常量不能象变量那样在程序运行过程中给 常量标识符赋以新值。
2020/4/30
字符串运算符与字符串表达式
运算符 &
功能 连接两个字符型数据 连接两个不同类型数据
例子 "计算机"+"软件"

第02章 高级语言及其语法描述

第02章 高级语言及其语法描述

现它
2
一个程序语言是一个记号系统
• 程序语言由两方面定义：
– 语法 – 语义 – 语用
3
1. 语 法
• 程序本质上是一定字符集上的字符串。 • 语法：一组规则，用它可以形成和产生一
个合式(well-formed)的程序。
例：字符串 0.5x1+c 其中，0.5、x1、等称单词符号，而表达 式称语言的一个语法范畴或语法单位。
1
§2.1 程序语言的定义•语言定义是语言实现的基础：• 从语言用户角度看
– 语言初等成分的实际含义是什么？
– 如何有意义地使用它们？
– 怎样以有意义的方式组合它们？
• 从编译程序设计者角度看
– 哪些构造允许出现
• 即使一时不能看出某种构造的实际应用，或者判断实现该
结构会导致严重的困难，但仍必须严格根据语言的定义实
–在数学上成立的代数性质在计算机上未必 完全成立。
21
(2) 语句：分执行性和说明性两类
赋值语句：
A := B
– 名字左值：该名字代表的那个单元（地址）称 为该名字的左值。(所代表的存贮单元的地址)
– 右值：一个名字的值称为该名字的右值。(所代 表的存贮单元的内容)
变量(包括下标变量)，既有右值又有左 值，但常数和带有算符的表达式只有右值， 出现在赋值号左边的表达式必须具有左值， 而右边的表达式只需有右值。
静 态 Fortran I, J, …,
N 为首的为整型
动态(编译时不能确定) APL, FoxPro
14
(2) 数据结构
1 数组
由同一类型数据所组成的某种n 维矩形结构。沿着每一维的距 离，称为下标。
数组可变与不可变：编译时能否确 定其存贮空间的大小

高级语言程序设计(全套课件245P)

高级语言程序设计(全套课件245P)
欢迎学习 高级语言程序设计
华北电力大学信息网络管理 中心计算机基础教研室
办公室电话：2474
引
• 计算机语言的作用 • 主要内容
言
是人与计算机进行交流的桥梁 计算机语言分为机器语言、 汇编语言和高级语言。C是高级语言
– C语言的语法规则
程序规则 运算规则 语句规则等
– 程序设计的方法
• 学习要求
– 课前预习，课后复习
1.1 1.2 1.3 1.4 1.5 计算机语言 C语言概述 C程序的开发及上机步骤 基本数据类型 运算符和表达式
1.1 计算机语言
.机器语言
.用0、1组成， 执行速度快， 难记、不通用
.汇编语言
.用助记符 便于记忆、 不通用
.高级语言
.类似自然语言 和数学语言， 通用性强
.例如：A=10，B=4 求A+B的值 00111101 00001010 11000110 00000100 11110011 01110110 LD A，0AH LD B，04H ADD A，B HALT
例1.1 第一个程序 Hello,World! 注释
/* example1.1 The first C Program*/ #include <stdio.h> 编译预处理 main() 函数 { 语句 printf(“Hello,World!”); } 输出： Hello,World!
例1.2
/* example1.1 calculate the sum of a and b*/ #include <stdio.h> 预处理命令 /* This is the main program */ main() 注释 函数 { int a,b,sum; a=10; b=24; 语句 sum=add(a,b); printf(”sum= %d\n",sum); } /* This function calculates the sum of x and y */ int add(int x,int y) { int z; z=x+y; 运行结果： return(z); sum=34 }

《高级语言程序设计教学课件》第2章

《高级语言程序设计教学课件》第2章
了解不同类型的运算符 和如何构建表达式来进 行计算。
3 控制流程
掌握条件语句和循环语 句的使用，控制程序的 执行流程。
学习建议
实践
通过编写实际的程序来巩固 所学知识。
阅读
阅读相关的书籍和文档，进 一步扩展知识面。
交流
与同学和教师进行交流和讨 论，分享经验和解决问题。
1
简单程序案例
通过一个简单的程序案例，演示如何应用程序设计基础知识进行编码。
2
常见问题解答
解答学生在实践中遇到的常见问题，提供必要的指导和建议。
3
总结
回顾本章重点内容，强调学习要点，并提供学习建议和进一步资源。
重点回顾
1 变量与数据类型
学习变量的概念以及如 何选择和使用不同的数 据类型。
2 运算符与表达式
实践案例讲解
通过实际案例演示应用程序设计的过程和技 巧。
程序设计基础
编程语言选择
程序设计流程
软件开发工具
选择适合项目需求的编程语言， 如C++括需求分析、算法设计和编码。
介绍常用的软件开发工具，如 集成开发环境（IDE）和调试器。
实践案例讲解
《高级语言程序设计教学 课件》第2章
本章介绍高级语言程序设计的基础概念和流程，包括程序设计的目标、编程 语言选择、软件开发工具等内容。
高级语言程序设计概述
变量与数据类型
学习如何定义变量和使用不同的数据类型。
控制流程
学习条件语句和循环语句，控制程序的执行 流程。
运算符与表达式
了解常用的运算符和如何构建表达式进行计 算。

高级语言程序设计

高级语言程序设计
实验要求：
1. 熟悉 pascal 编程环境，主要是 turbo pascal 7.0 的编译运行环境。在所提供的 编译运行环境中进行顺序结构编程设计。理解顺序结构的思想意义。掌握 pascal 程序的大致结构。
2. 基本点和重点：pascal 的标识符语法，程序结构，实数的表示方法。运算符的运 算对象类型和结果类型，标准函数表，read 语句和 readln 语句，write 语句 writeln 语句。
2
实验一、顺序结构程序设计
实验内容：
1.读入三角形的三个边 a,b,c,计算并打印三角形的面积 s.可利用下面的公式：
S= p*(p-a)*(p-b)*(p-c)
其中 p=(a+b+c)/2.
2.按下列公式计算 y 的值
X= 1+tan 52015'
y
=
π
e2
x
+
ln
sin2
x
+
sin
x2
3.输入一个三位整数，将它反向输出。例如输入 127，输出应为 721。
2.输入二次方程的三个悉数 a,b,c,计算二次方程的根。程序应考虑实根与复根两种情 形。二次方程如下：
ax2 + bx + c = 0
3
3.输入班号输出该班学生数。应用 case 语句编程序。
班号 91
92
93
94
95
96
人数 30
32
30
30
32
25
实验要求：
1. 进行选择结构程序设计。理解掌握 if 语句和 case 语句。 2. 基本点和重点：if 语句的两种基本结构及各自的适用环境。Case 语句的基本结构

高级程序设计语言 编译原理


与文法定义相关的几个概念和术语：

字母表：由若干元素组成的有限非空集合，用表示，
它的每个元素称为一个符号。

符号串： 由中的符号所构成的有穷序列。
符号串的前缀和后缀及子串：设x是一个符号串，将x的 尾（前）部删掉几个字符后形成的符号串，称为x的前 （后）缀；从一个符号串中删去他的一个前缀和后缀后 所剩下部分称为x的子串。

数学上成立的代数性质在计算机上未必完全 成立。如：(A+B)+C=A+(B+C)在计算机上并 不普遍成立。
第二章 高级语言及其语法描述
二.语句

从功能上说语句大体可分执行性语句和说明性语句，
说明性语句旨在定义不同数据类型的变量或运算。

执行性语句旨在描述程序的动作。

对不同的语句，编译器的处理方式不同。

名字的属性： 一个名字的属性包括类型和作 用域。 标识符、名字与存储空间的关系:同一标识符 可以表示不同的名字；同一名字可以表示不同 的存储空间；同一存储空间可以有多个名字
第二章 高级语言及其语法描述

二.构造数据类型
a. 数组



特点：一个数组是由同一类型数据所组成的某 种n维矩形结构。每个元素占相同的存储空间 下标：沿着每一维的距离称为一个下标。 数组元素的命名：数组名+下标 设计符号表的构造 确定数组与可变数组：在编译时数组所需的存 方法，需要在符号 储空间是否确定 表中存储更多的信 数组元素的存储与地址的计算 息，并需要定义不 同的属性文法以便 内情向量表：数据类型，数组的维数，下标的 对其语义进行描述 变化范围，首地址
基于规则的语言程序的执行过程是：检查一 定的条件，当它满足值，则执行适当的动作。 最有代表性的基于规则语言是Prolog，它也称 逻辑程序设计语言，因为它的基本允许条件是 谓词逻辑表达式。这类语言的语法形式通常为： 条件1→动作l 条件2→动作2 条件n→动作3

《高级语言程序设计》课件

（5）在程序中可以加入注释，格式为 /* 注释内容 */， 注释为非执行语句，它对程序的编译和执行结果无任何影响， 使用的目的是增强程序的可读性。
1.3.3 C 程序的书写风格 （1）为了提高程序的可读性，建议使用“锯齿形”的书写 方式，即根据语句的从属关系，以缩进书写的形式来体现语 句的层次关系。即在语句之前加上适当的空格字符，使处于 同一层次的语句从同一列开始书写； （2）建议一行只写一个语句（C 允许在一行内写多个语 句）； （3）用小写字母书写程序，大写字母一般用作符号常量或 其它用途；
2.2 C 语言的数据类型 2.2.1 数据类型概念 算法处理的对象是数据，数据就是程序中实际数值。数 据是以某种特定的形式存在的（如整数、实数、字符等形 式）。根据数据的取值范围、可参加的运算以及在计算机中 的存储方式等，可以把数据分为各种不同的类型。 2.2.2 程序的概念 一个程序应包含以下两方面的内容： （1）对数据的描述：即在程序中要指定所使用数据的数据 类型和数据的组织形式，即描述数据结构； （2）对操作的描述：即对数据的操作步骤的描述，亦即算 法描述。 即：程序 = 数据结构 + 算法
2、运算符丰富，表达能力强。C语言具有“高级语言”和 “低级语言的双重特点” ，其运算符包含的内容广泛，所生 成的表达式简练、灵活，有利于提高编译效率和目标代码的质 量。
3、数据类型丰富，结构化好。 C语言提供了编写结构化 程序所需要的各种数据类型和控制结构，这些丰富的数据类型 和控制结构以及以函数调用为主的程序设计风格， 保证了利 用C语言所编写的程序能够具有良好的结构化。
缺点：执行速度没有低级语言高，因为计算机硬件不能直 接识别高级语言中的语句，需要先“翻译”，再执行。
五、机器数及表示方法
计算机中的数是用二进制来表示的，数的符号也是用二进 制来表示的（1代表负数；0代表正数）。

第二章 高级程序设计语言描述

第二章 高级程序设计语言描述
周开来 西南林业大学计算机与信息科学系
内容简介：
本章概述程序设计语言的结构 和主 要的共同特征，并介绍程序设计语言主要 语句的文法描述与形式定义。
2.1 程序语言的定义
任何语言实现的基础是语言定义。 语言的定义决定了该语言 具有什么样 的语言功能、什么样的数据结构、 什么 样的程序结构、 以及具体的使用形式 等细节问题。
获得计算机图灵奖统计：
程序设计语言(10) Alan J. Perlis (1966) -- ALGOL Edsger Wybe Dijkstra (1972) -- ALGOL John W. Backus (1977) -- FORTRAN Kenneth Eugene Iverson (1979) -- APL程序语言 Niklaus Wirth (1984) -- PASCAL John Cocke (1987) -- RISC & 编译优化 Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和 面向对象概念 Alan Kay(2003) -- SmallTalk语言和面向对象程序设计 Peter Naur(2005) -- ALGOL60以及编译设计 形式语言, 程序语言语义 (4) Robert W. Floyd (1978) -- 编程语言语义，自动程序验证 C. Antony R. Hoare (1980) -- Hoare Logic, CSP Robin Milner (1991) -- LCF，ML，CCS，PI-calculus Amir Pnueli (1996) -- 时序逻辑和系统验证
二. 语义
语义：一组规则，用它可以定义一个程序 的意义。 描述方法：

《高级语言程序设计》课件


6、C程序的可移植性好 在C语言提供的语句中，没有直接依赖与硬件的语句和与 硬件有关的操作。因此，用C程序编写的程序能够很容易地从 一种计算机环境移植到另一种计算机环境中。
弱点： 1、运算符的优先级太多不易记忆，且与日常习惯不完全 一致。 2、由于语言的语法限制不太严格，在增加了程序设计灵 活性的同时，在一定程度上也降低了某些安全性。（这对程 序设计人员提出了更高的要求）
（4）标识符（变量名、函数名等）的定义应尽量做到 “见名知意”；
（5）适当地增加注释，以增强程序的可读性。
1.4 C 程序的编辑、编译和运行 从编写一个源程序到在计算机上得到运行结果，基本步 骤有编辑、编译和运行，每一步的大致含义是： （1）编辑（输入/修改源程序的过程） 即指用某种编辑软件，将C语言源程序输入到计算机中， 并以文件的形式存入到磁盘中。经过编辑后得到的文件都是 以.C为文件扩展名(类型名)，称为C源文件。（ASCII码组成 的文件，其中的代码机器不能识别） （2）编译（检查程序中语法错误并生成目标代码的过程） 即指对编辑的源文件进行编译（翻译）以产生目标代码 文件（将高级语言源程序翻译成机器代码）。编译的过程同 时也是检查源程序中各语句是否存在语法错误的过程，当排 除了源程序中的所有的语法错误后，可得到相应的目标文件， 目标文件以 .OBJ 为文件类型名。
2.2.3 C 语言的数据类型 类型表见书 C 语言中，数据按照其用途有常量和变量之分，它们均 属于所列出的类型。在程序中，对所有用到的数据都必须指 定其数据类型，这将关系到数据的正确存储、数据的正确运 算等。 2.3 常量及常量分类 2.3.1 有关常量的概念 1、什么是常量？在程序运行过程中，其值不能被改变的 量。 2、常量的表示方法：直接常量和符号常量
  1. 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

第2章 程序设计语言的设计概述本章介绍程序设计语言的设计目标以及为实现这些目标所遵循的设计准则,设计语言最后要给出语言的参考手册,为此,从表示的角度介绍与语法,语义和上下文约束有关的概念和表示法。

目前在程序语言语法文本中,语法形式表示是完整的,语义表示多半是非形式的。

本章仅给出各种形式语义的初步概念,有关理论后文还要讲述。

2.1 表示与抽象（Representation & Abstraction）程序就是程序设计语言表示的计算。

所谓表示是人为制造的符号组合以表达我们需要表达的意思。

每个合乎语法的表示都表达了某种语义，例如：float n； //n是C语言中的浮点数变量sqrt(n)； //对n取平方根由于我们约定float是浮点类型的关键字，故float n这个合法表示表明“n是浮点数”， 是一个静态的说明。

同样，sqrt(n)说明要做“对n取平方根”的动作。

表示是对事物抽象的表达。

抽象是对论题本质的提取。

当我们为某软件投入市场作市场调查并写出分析报告时，我们已先完成了抽象（从社会效益、技术效益、经济效益列出定性或定量的分析），也完成了表示（报告正文）。

表示的规则是语法的，抽象的，内容是语义的。

同一事物可在不同抽象层次表示它。

同一程序可用高级语言表示、汇编码表示以及机器码表示。

当然，高级语言上面还可以有甚高级、超高级语言不断抽象上去。

所以，每种语言都是在某个抽象层次上的表示。

从日常概念中，我们可以得知概念愈是抽象其内涵愈小(只包含主要特征，略去其余)而外延愈大(能满足该主要特征的事物愈多)。

例如“张三在种地”也可以说“张三在改变生态环境”，还可以说“张三修理地球”都没有错。

之所以不错是表达了主要概念：“地表情况有了变化”。

但张三用锄种玉米的细节全被抽象(忽略)掉，且“李四砍树”也可以说成“改变生态环境”、“修理地球”。

当然，这种近乎失真的外延是不希望的，同样，能满足高级语言描述的计算的机器码实现也可以不止一个。

例如：给变量x增值1，x=x+1；这类赋值语句编译后的机器码可以有如下两种做法，按语义描述为：1. 从内存代表x的地址中取出值放在运算器中。

1. 从内存代表x的地址中取出值放在运算器中。

2. 加1，将结果放于某临时单元。

2. 加1将结果放入x地址中。

3. 将临时单元内容作类型检查(必要时转换)，并放入x中。

x=x+1； x+=1；两者都对，但效率不同。

左边按赋值常规做法，保证赋值安全并没有错。

右边则认为编译时表达式x+1已作了类型检查，结果必然是x的类型，根据这个特殊情况节省了一步，C语言的 x+=1；的写法就是后者。

其它语言两者均可，完全由编译器决定了。

2.1.1 上层抽象可用多种下层抽象实现。

程序设计的四个世界。

客观世界的问题描述了客观世界对象相互之间的作用，经过分析建立解题模型。

read(m,s,d); mu=m-s-d u=m-s-d; s女儿8岁,儿子10岁 print(u) d母亲35岁.问： 每人每年增1岁 read(m,s,d); u和大于等于母亲？ 一次，满足条 while(m+u>s+d+2u) u++; 指令集问题 模型 用程序抽象实现模型 实现程序客观世界 模型世界 程序世界 机器世界图2-1 计算机解题的四个世界一种模型只抽取与该层抽象有关的数据属性。

例如按图2-1的问题，儿子、女儿、母亲的姓名、身高体重、文化程度...... 与本题无关。

问题中的对象在本例中是三人年龄和要求解的年数。

数学模型是最高级的抽象，解题公式 u=m-s-d 即本题的数学模型。

程序对象可以是u，m，s，d，它直接和数学模型对象对应。

由于程序对象在程序世界有自己的行为，如输入/输出操作。

到计算机实现时又映射为存储对象和指令集。

它又要加上分配存储 、查找地址和往运算器、存储器和输入/出设备送数的操作(输入/出还要有数、码变换)。

所以 ，同一问题在问题世界，模型世界，程序世界，机器世界中对象及其相互作用是不同的 。

我们研究程序设计语言的设计是从问题—模型世界的需求出发 ，在机器世界可能实现情况下，定义自己的对象表示及其相互作用的表示。

对于从问题到程序，我们只介绍已有程序设计范型， 对于程序到实现，我们在以后章节将陆续分析程序各元素和各机制(即每种特征)以及它们的实现。

2.1.2 显式表示和隐式表示程序对象及其相互作用的表示可以是显式的。

如上例中的 float n，显式说明n是浮点变量；也可以是隐式的， 例如数组元素的次序(按下标序不可改)； 一组连续的语句(语句次序不可改)；程序中的缺省声明，如FORTRAN中符号名首字母为 1..N的程序对象自动为整型，其余为实型。

再如Ada中：for J in 1 .. 5 loop......end loop；其中J的类型自动为循环域(1..5)表示给出的整型。

一般说来，编译时，信息越多越准确，所以，强类型语言强调显式表示 。

但显式表示带来不必要的噜嗦，使程序不够精炼。

所以，在语义明确，不易出错之处，也采用隐式表示，例如Ada的常量声明：PI: constant FLOAT: =3.1415926；可写为：PI: constant : = 3.1415926；因为以3.1415926初始化时，等于声明了PI必须是浮点类型。

2.1.3聚合表示和分散表示程序对象、操作过程(或函数)在早期语言中为了快速翻译 ，只能用较原始的表示组合起来表示复杂的实体，或类似实体用不同的表示指明微小的差异，即分散表示。

例如，FORTRAN中没有记录数据结构，则将每个域定义为数组，各数组按同一序号取一元素构成一个记录。

再如，FORTH语言中不同类型“加”运算的分散表示：+ 单字长加号D+ 双字长加号M+ 混合加号其它语言中一个+号就概括了。

这叫聚合（Coherent)表示。

分散表示并不一定都坏。

例如，早期语言的函数(或过程)定义的型构(Signature)和体是不能分开的：FUNCTION SUM (V，N) //函数型构REAL V (N) // 局部变量SUM = 0.0DO 200 I = 1,N // 函数体SUM = SUM + V(I)200 RETURNEND而Ada等现代语言为上层表达方便,型构和体可以分开，只写：function SUM (V: VECTOR， N: INTEGER) return FLOAT；函数体可以写在别处，只要在联编时有一个完整定义的SUM函数存在，内部内联成一“内聚式”即可运行。

2.2 程序设计语言的设计目标设计程序设计语言即定义一组能表示某种范型的特征集 。

每个特征有严格的定义且可以在机器上实现。

程序员灵活运用这些特征便可表达他所希望任何计算。

在某种意义上说， 只要能想得出巧妙而高效的实现，就能提供更多更方便的特征 ，但就一个语言来说，这一组特征要能体现它的设计目标。

语言设计的目标在不同时代的软 、硬件背景下不能同一而语。

例如，早期语言追求时空效率，近代软件追求可靠性(易验证)，可维护性(易读易改，改了不产生旁效)，可移植性(尽可能远离具体机器)。

不同的应用范型也有不同的要求。

这里仅就当今最一般的目标，给出定性的描述：（1）模型能力(Model Power) 语言规定的语法特征应使程序员能充分、精确、容易地表达他的计算。

（2）语义清晰(Semantic Clarity) 每个合乎语法的表达式和程序都定义一个清晰、 无二义性的涵 义，且不因程序执行引起语义改变。

（3）实用性(Utility) 只设计使用频繁或没有它不行的特征，即每个特征都常用。

（4）方便性(Conveniency) 越是频繁使用的特征越要简便。

（5）简单性（Simplicity） 力求简单，一致，少生僻，除非十分方便不轻易增加冗余。

（6）可读性（Readability） 程序员往往从其特征定义的表达形式上理解其内涵，力求直接表达，“相当于”表达。

（7）可移植性（Portability）一种语言的程序在一般的机器上均可实现其计算，且不产生歧义。

（8）效率（Efficiency） 程序设计语言的效率指三个方面：编程效率；预处理和编译效率；执行效率 。

它们相互相关，对语言追求目标有不同的选择，总的希望都很高，但非常不易，只能折衷。

（9）灵活性（Flexibility）对语法以外的限定在不带来歧意的前提下允许放松。

这样能更好地发挥程序员的能动性并可简化实现。

C语言做得较好，如数组名也可以是指针，字符也可解释为整数等。

2.3 设计准则以上目标有时是相互冲突的，设计者只能按具体应用目标折衷。

为达到上述目标应注意以下准则：(1)频度(Frequency)准则频繁的特征应语义清晰、方便、简单、可读。

例如，if_then_else很频繁，结构化后更清晰。

(2) 结构一致(Structure Consistency)准则 一个程序的静态结构，直观上应与动态的计算结构一致，即表示结构与逻辑结构统一 。

这是E.W.Dijkstra提出的著名的准则， 并导致结构化程序普及。

违反这个原则，程序难以阅读、测试和维护，例如：100 IF(P) GO TO 150 while NOT P doA段 A段IF (EXP1) GO TO 110 if (EXP1) thenB段 C段GO TO 140 elsif (EXP2) then110 C段 D段IF(EXP2) GO TO 120 elsif ( EXP3) thenGO TO 140120 D段 E段IF (EXP3) GO TO 130 elseGO TO 140 B段endif130 E段 F段140 F段 end doGO TO 100 ... ...150 ... ...单看左边程序不花上10分钟很难理解程序是怎样执行的。

(3) 局部性(Locality)准则 一个模块(或函数、过程)只用自己声明的局部数据做一件事情。

这是保持语义清晰最有效的措施。

这个模块的修改不影响其它的部分。

近代程序小函数、小过程特别多，八件事调用八次，势必增加运行时调用界面上的类型检查，使运行速度降低，为此，语言设计上增加了内联（in_line）机制。

将函数代码插入到调用之处(插入时作类型检查)。

既保持了局部性，又保持了速度。

因为公用数据极易产生副作用(也称边界效应)，造成程序错误，而且难以查错。

强行将公用数据局部化又会造成冗余和重复，逻辑上增加混乱。

故近代语言有不同层次控制数据公用措施，如堆变量、自动变量、静态变量、全局量等。

函数式语言全部采用局部量,Pascal、Ada、C有限制地使用全局量，BASIC全部是全局量。

(4)词法内聚(Lexical Coherence)准则 逻辑相关的代码表示上应相邻。