程序设计语言的抽象与语言族模型＋ - 北京大学数学科学学院.pdf

程序设计语言的抽象与语言族模型+ 张乃孝 郑红军 （北京大学·计算机科学技术系 北京 100871） 摘要 程序设计语言的模型对于研究语言的性质具有重要作用。本文基于语 言的抽象这一概念，在本文建立的语言之代数模型下，给出了程序设计语言间的 三种关系：继承、扩充、屏蔽的语义，并提出了在这三种关系下构成的语言族模 型，作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。 关键词 程序设计语言 语言抽象 语言族模型 Abstraction of Programming Languages and a Model of Language Family Zhang Naixiao Zheng Hongjun Department of Computer Science Technology Peking University, Beijing 100871 Abstract Models for programming languages play an important role for studying properties of programming languages. Based on the concept of language abstraction and under an algebraic model for programming languages we build, this paper presents the semantics of three kinds of relation between languages, i.e., inheritance, extension and shielding. Then the paper proposes a model of language family which is constructed under the three kinds of relation. This model can be a theoretical basis for researching relations between languages and model-oriented transformational software development methodology. Keywords programming language language abstraction language family model 1 引言 随着计算机科学的发展，不断地出现各种新的程序设计语言。语言的不同是 语言设计原则的选择和各原则相对优先级不同的结果，但所有语言的目的基本上 是相同的，即：能够使程序员易于在计算机中建立客观事物的模型。从语言的历 史来看，新语言的出现主要是由于当前所有语言都不易于描述待处理的某类客观 事物，这样，人们不断地设计、开发他们所需要的语言，如：数据库语言、数学 计算语言、图形绘制语言等等，而这些语言在风格、内容和形式上都各有明显的 不同之处。语言种类的繁杂性和语言之间的显著差别，不仅增加了语言的使用难 度，也给研究语言之间的联系带来了诸多不便[7]。程序语言的设计者们曾试图通 +本项研究得到国家自然科学基金和863-306 课题的资助. -1- 过结合不同风范于同一语言这种方式来缓解这些问题，但目前很难看到这种结合 的成功迹象[6]。若能对程序设计语言取得更广泛、更普遍的理解，并能在语言 设计者和使用者选择语言设计原则的问题上取得一致，也许会找到解决这些问题 的一个途径。 ++ 本文的工作是在研究Polya语言 及面向模型的变换型软件开发方法[14]的基 础上，通过对程序设计语言本质的研究，提出了语言的抽象这一概念和语言的一 种抽象模型，并以此为基础，给出了语言的继承、扩充、屏蔽的语义及语言族的 语义。希望本文提出的程序设计语言的抽象模型能够对研究语言之间的关系有所 益处，并能建