摘要
本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。
This paper presents a ADT-based functional language which is the functional component of a hybrid language that the authors designed supporting both the functional programming and object -oriented programming, and describes its operational semantics model: polymorphic λ- calculus + algebraic rewriting system = polymorphic λ- rewriting system. Moreover, the Church - Rosser property and strong normalization property of this model are discussed.
出处
《软件学报》
EI
CSCD
北大核心
1994年第6期58-64,共7页
Journal of Software
基金
国家自然科学基金
863高科技资助
关键词
函数语言
抽象数据类型
FOPL函数
Functional programming
λ - calculus
rewriting system
church - rosser property
strong normalization property.
