PKU
数学学院  主  页  科  研  教  学  生  活




主页

科研

论著列表

论文简介

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

作者:张乃孝 郑红军
原载:北京大学学报·自然科学版,Vol.33.No.5.p650-657,1997.9

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

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

下载:[pdf]
论文著作的详细列表