语言的开发和标准化语言的开发和标准化.pdfVIP

语言的开发和标准化 语言开发的初始阶段： 一个人或一个设计组，根据对实际程序设计所需的一批基本要素的考虑， 提出有关语言的基本构想，定义该语言的语法形式和语义 实现一个语言处理系统，使这个语言能实际用于程序设计 通过一些人的使用和反馈，修改完善语言的设计 少数比较成功的语言可能进入下面阶段： 将语言的处理系统提供给更大范围的用户，并得到更多反馈 除语言设计者（拥有者）外的其他人参与该语言实现的研究和开发，并 引起软件产业界的注意，形成语言实现的产品和用户社团 受到标准化组织的注意，成立相应标准化小组（公司语言有版权问题） 经过认真的标准化工作，产生语言的标准化文本 参考：《C++语言的设计和演化》，Stroustrup，中译本：机械工业2002 2012年2月 25 语言的开发和标准化 语言标准化的主要工作： 严格检查语言中的各种结构，严格定义它们的形式和意义 根据客观情况的需要，考虑加入新特征并给出严格定义 处理语言中各方面的一致性问题 考虑并确定语言中过时的旧特征，明确说明这些特征将逐步被淘汰 标准化通常是一个很困难的过程，其中一个困难是遗产问题： 与标准化前的版本或者前一个标准化版本的向后兼容问题 大的改变，可能使许多已有程序变得不再合法，招致老用户的反对 不改变，语言就可能由于逐渐过时而被淘汰 Fortran的几次标准化（尤其是Fortran 90 ），Ada 95 的标准化，都特别明显 地反应了这些问题。C++ 也做了两次标准化（1998,2010） 2012年2月 26 语言的实现：抽象机器 一部计算机就是连接起来的一组硬件器件 其作用是实现机器语言程序描述的计算过程 使用者可以不关心其内部实现，只关心其机器语言（指令形式和意义） 即使具体的硬件变了，只要它们提供的机器语言不变，使用方式没变， 以前的程序都仍然可以用 因此：机器语言可以看作计算机硬件的“抽象”。一种机器语言对应一 类计算机，或说对应于一种“抽象计算机”。如X86 机器语言 一种高级语言也可以看作是一种抽象“计算机”的机器语言 例：C 语言，可以看作能直接执行C 程序的高级“计算机”的“机器语言” • 该“计算机”提供了C 语言的各种基本的和高级的数据结构 • 能执行C 语言的各种基本计算，基本操作和控制结构 常常没有这种计算机，因此需要考虑在已有的计算机上实现它 2012年2月 27 语言的实现 语言的实现牵涉到两种抽象机器（两种语言）： 需要实现的程序语言定义了一台抽象机 某种现存的准备用于运行程序的计算机也定义了一台抽象机 实现一种语言，就是在一台抽象机上做出另一台抽象机，用一台已有的抽 象机去模拟另一需要实现的抽象机的行为（扮演另一不同的抽象机） 通用图灵机的存在性以及图灵论题说明： 只要一台抽象机的功能足够强（其功能等价于通用图灵机，具有图灵完 全性），就可以用它实现其他任何抽象机的行为 现代计算机都具有图灵完全性，因此可以用于实现任何程序设计语言 在抽象机A 上实现抽象机B，就是希望基于A 执行用B 的语言写的程序 如何在抽象机A 上实现抽象机B ？ 存在哪些可能的技术路线？ 2012年2月 28 实现：方式 常见的说法是（高级）语言的实现有两种方式，编译和解释。 编译：把源程序编译为机器语言目标程序后执行 解释：在目标机器上实现一个源语言的解释器，由这个解释器直接解释执 行源语言程序（它实际上实现了另一部抽象机） 源程序 源程序 编译器