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

北京大学学报（自然科学版）

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

张乃孝¹, 郑红军²

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

收稿日期:1996-12-06 出版日期:1997-09-20 发布日期:1997-09-20

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

摘要/Abstract

摘要： 程序设计语言的模型对于研究语言的性质具有重要作用。基于语言的抽象这一概念，在建立的语言之代数模型下，给出了程序设计语言间的３种关系：继承、扩充、屏蔽的语义，并提出了在这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

中图分类号:

TP301

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

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

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y1997/V33/I5/650

[1]	陈钢, 于林宇, 裘宗燕, 王颖. 基于逻辑的形式化验证方法: 进展及应用[J]. 北京大学学报（自然科学版）, 2016, 52(2): 363-373.
[2]	陈梅,张路,许进. 基于Riboswitch的细胞与门构建[J]. 北京大学学报（自然科学版）, 2014, 50(3): 411-415.
[3]	金?,王捍贫,朱梅霞. 基于时序可中断π演算的BPEL和BPEL4People建模[J]. 北京大学学报（自然科学版）, 2012, 48(2): 209-216.
[4]	高良才,汤帜,陶欣,房婧. 一种自动发现、分割与标注引文元数据的方法[J]. 北京大学学报（自然科学版）, 2010, 46(6): 893-900.
[5]	高良才,汤帜,林晓帆,俞银燕,房婧. 一种基于聚类技术的图书目录识别方法[J]. 北京大学学报（自然科学版）, 2010, 46(4): 531-538.
[6]	徐春香,屈婉玲,王捍贫,朱梅霞. 死路删除语义下的WS-BPEL流程的建模[J]. 北京大学学报（自然科学版）, 2010, 46(2): 162-170.
[7]	陈钢,宋晓宇, 顾明. COQ定理证明器辅助PLC 程序验证和分析[J]. 北京大学学报（自然科学版）, 2010, 46(1): 30-34.
[8]	李锌,张飞舟. 基于方向小波变换的分层多描述图像编码[J]. 北京大学学报（自然科学版）, 2008, 44(5): 793-798.
[9]	王宏鼎,谭少华,唐世渭,杨冬青,童云海. 基于模式元素语义关系的模式合并方法研究[J]. 北京大学学报（自然科学版）, 2007, 43(3): 405-411.
[10]	刘鹏,胡建斌,陈钟. 分布式计算环境下的语义安全策略语言[J]. 北京大学学报（自然科学版）, 2006, 42(5): 646-657.
[11]	陈鹏,霍金健,张立昂. 最小生成树问题在RMESH上的常数时间算法[J]. 北京大学学报（自然科学版）, 2006, 42(1): 83-88.
[12]	高韬, 谢昆青, 马修军, 陈冠华. SDML：基于空间数据库的空间数据挖掘语言[J]. 北京大学学报（自然科学版）, 2004, 40(3): 465-472.
[13]	蔡颖琨, 谢昆青, 马修军. 屏蔽了输入参数敏感性的DBSCAN改进算法[J]. 北京大学学报（自然科学版）, 2004, 40(3): 480-486.
[14]	崔鹏,张立昂,吉利久,高立. 两种平滑优化算法在一维情况下的比较研究[J]. 北京大学学报（自然科学版）, 2003, 39(5): 681-689.
[15]	邓志鸿,唐世渭,张铭,杨冬青,陈捷. Ontology研究综述[J]. 北京大学学报（自然科学版）, 2002, 38(5): 730-728.