单继承记录类型的代数描述  

Algebraic Description for Record Model with Single Inheritance

作　　者：何自强[1] 

机构地区：[1]北京航空航天大学计算机科学与工程系

出　　处：《软件学报》1999年第4期445-448,共4页Journal of Software

摘　　要：通过在子类型和超类型之间引进类型转换函数，推广了有序类别代数的定义．按照这一定义，一个类型可以不一定是它的超类型的子集．这使得记录模型成为有序类别代数．为了描述类型之间的单继承关系，引进了森林类别型构的概念．给出了等式的新意义，并证明了等式理论有初始模型．Introducing the type transformation functions between subtypes and supertypes, the definition of ordersorted algebra is generalized. According to this definition, a type needn't be a subset of its supertype, and a record model may form an ordersorted algebra. The concept of forestorder signature is introduced for describing single inheritance relation between types. A new meaning of equation is given. It is proved that an equational theory has its initial model.\=

关 键 词：面向对象 程序设计 单继承记录类型 代数理论 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] O15[自动化与计算机技术—计算机科学与技术]