| 摘要: |
| 本文介绍一以ＡＤＴ为主要构件的函数语言，它是作者设计的函数式及面向对象式合成语言的函数部分，进而描述了其操作语义模型：多态λ演算十代数重写系统＝多态λ重写系统，并讨论该模型的Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质和强范式性质。 |
| 关键词: 函数式程序设计，λ演算，重写系统，Church－Rosser性质，强范式性质 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金,863高科技资助 |
|
| A ADT──BASED FUNCTIONAL LANGUAGE AND ITS OPERATIONAL SEMANTICS |
|
Mei Hong,Sun Yongqiang
|
| Abstract: |
| 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. |
| Key words: Functional programming λ - calculus rewriting system church - rosser property strong normalization property. |
