Abstraction of Programming Languages and a Model of Language Family

Acta Scientiarum Naturalium Universitatis Pekinensis

Previous Articles Next Articles

Abstraction of Programming Languages and a Model of Language Family

ZHANG Naixiao¹, ZHENG Hongjun²

¹Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, 100871; ²Department of Computer Science and Technology, Peking University, Beijing, 100871

Received:1996-12-06 Online:1997-09-20 Published:1997-09-20

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

张乃孝¹, 郑红军²

¹北京大学数学科学院信息科学系，北京，100871; ²北京大学计算机科学技术系，北京，100871

Abstract

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

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

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

CLC Number:

TP301

ZHANG Naixiao,ZHENG Hongjun. Abstraction of Programming Languages and a Model of Language Family[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

张乃孝, 郑红军. 程序设计语言的抽象与语言族模型[J]. 北京大学学报（自然科学版）.

[1]	CHEN Gang, YU Linyu, QIU Zongyan, WANG Ying. Logic Based Formal Verification Methods: Progress and Applications [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2016, 52(2): 363-373.
[2]	CHEN Mei,ZHANG Lu,XU Jin. Construction of a Cellular AND Gate Using Riboswitch [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2014, 50(3): 411-415.
[3]	JIN Wei,WANG Hanpin,ZHU Meixia. Modeling BPEL and BPEL4People with a Timed Interruptable ?-Calculus [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2012, 48(2): 209-216.
[4]	GAO Liangcai,TANG Zhi,TAO Xin,FANG Jing. An Approach to Auto-detection, Segmentation and Tagging of Bibliographic Metadata [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(6): 893-900.
[5]	GAO Liangcai,TANG Zhi,LIN Xiaofan,YU Yinyan,FANG Jing. A Table of Content Recognition Method of Book Documents Based on Clustering Techniques [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(4): 531-538.
[6]	XU Chunxiang,QU Wanling,WANG Hanpin,ZHU Meixia. Modeling WS-BPEL Process under the Dead-Path-Elimination [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(2): 162-170.
[7]	CHEN Gang,SONG Xiaoyu,GU Ming. PLC Program Verification and Analysis Using the COQ Theorem Prover [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(1): 30-34.
[8]	LI Xin,ZHANG Feizhou. Joint Layered and Multiple Description Image Coding Based on Directional Wavelet Transform [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2008, 44(5): 793-798.
[9]	WANG Hongding,TAN Shaohua,TANG Shiwei,YANG Dongqing,TONG Yunhai. Schema Merging Study with Semantic Relationships of Schema Elements [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2007, 43(3): 405-411.
[10]	LIU Peng,HU Jianbin,CHEN Zhong. A Semantic Security Policy Language for Distributed Computing Environment [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2006, 42(5): 646-657.
[11]	CHEN Peng,HUO Jinjian,ZHANG Li'ang. A Constant Time Algorithm for MST on RMESH [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2006, 42(1): 83-88.
[12]	GAO Tao,XIE Kunqing,MA Xiujun,CHEN Guanhua. SDML: A Spatial Data Mining Language for Spatial Database [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2004, 40(3): 465-472.
[13]	CAI Yingkun,XIE Kunqing,MA Xiujun. An Improved DBSCAN Algorithm which is Insensitive to Input Parameters [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2004, 40(3): 480-486.
[14]	CUI Peng,ZHANG Li'ang,JI Lijiu,GAO Li. Comparisons of Two Smoothing Algorithms for Optimization in One-Dimensional Space [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2003, 39(5): 681-689.
[15]	DENG Zhihong,TANG Shiwei,ZHANG Ming,YANG Dongqing,CHEN Jie. Overview of Ontology [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2002, 38(5): 730-728.

Abstraction of Programming Languages and a Model of Language Family

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

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics