| 程序设计语言的抽象与语言族模型 |
| |
| 引用本文： | 张乃孝 郑红军. 程序设计语言的抽象与语言族模型[J]. 北京大学学报(自然科学版), 1997, 33(5): 650-657 |
| |
| 作者姓名： | 张乃孝 郑红军 |
| |
| 作者单位： | 北京大学数学科学院信息科学系，北京，100871; 北京大学计算机科学技术系，北京，100871 |
| |
| 摘 要： | 程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这3种关系下构成的语言族模型，作为研究语言间的关系和面向模型的变换型软件开发方法的一种理论基础。
|
| 关 键 词： | 程序设计语言 语言抽象 语言族模型 |
| 收稿时间： | 1996-12-06 |
Abstraction of Programming Languages and a Model of Language Family |
| |
| ZHANG Naixiao,ZHENG Hongjun. Abstraction of Programming Languages and a Model of Language Family[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 1997, 33(5): 650-657 |
| |
| Authors: | ZHANG Naixiao ZHENG Hongjun |
| |
| Affiliation: | Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, 100871; Department of Computer Science and 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 |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《北京大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《北京大学学报(自然科学版)》下载全文 |
