北京大学学报(自然科学版)

程序设计语言的抽象与语言族模型

张乃孝1, 郑红军2   

  1. 1北京大学数学科学院信息科学系,北京,100871; 2北京大学计算机科学技术系,北京,100871
  • 收稿日期:1996-12-06 出版日期:1997-09-20 发布日期:1997-09-20

Abstraction of Programming Languages and a Model of Language Family

ZHANG Naixiao1, ZHENG Hongjun2   

  1. 1Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, 100871; 2Department of Computer Science and Technology, Peking University, Beijing, 100871
  • Received:1996-12-06 Online:1997-09-20 Published:1997-09-20

摘要: 程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念,在建立的语言之代数模型下,给出了程序设计语言间的3种关系:继承、扩充、屏蔽的语义,并提出了在这3种关系下构成的语言族模型,作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。

关键词: 程序设计语言, 语言抽象, 语言族模型

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.

Key words: programming language, language abstraction, language family model

中图分类号: