| 摘要: |
| 通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等式的新意义,并证明了等式理论有初始模型. |
| 关键词: 有序类别代数,等式理论,单继承性,记录. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| Algebraic Description for Record Model with Single Inheritance |
|
HE Zi-qiang
|
| Abstract: |
| Introducing the type transformation functions between subtypes and supertypes, the definition of order-sorted algebra is generalized. According to this definition, a type needn't be a subset of its supertype, and a record model may form an order-sorted algebra. The concept of forest-order 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. |
| Key words: Order-sorted algebra, equational theory, single inheritance, record. |
