摘要： 本文介绍—以ADT为主要构件的函数语言,它是我们设计的函数式及面向对象式合成语言FOPL的函数部分,我们仍以FOPL称之.进而我们描述其操作语义模型:多态λ演算+代数重写系统,并讨论该模型的合流性(CR性)和强范式性(SN性).＊

关键词: 函数式语言, 操作语义, CR性, SN性

Abstract: This paper describes an ADT-based functional language which is the functional component of our functional and object-oriented integrated language FOPLWe also name it FOPL, Its operational Semantics is based on polymorphic A calculus +algcbraic rewriting system, and its confluence property (CRproperty) and strong normalization property (SNproperty) are discussed.