Another definition of order-sorted algebra

被引：0
|
作者：
He Ziqiang [1 ]
机构：
[1] Beijing Univ of Aeronautics and, Astronautics, Beijing
来源：
Journal of Computer Science and Technology | 1998年 / 13卷 / 6期
关键词：
Order-sorted algebra; equational theory; initial model; single inheritance; transformation function;
D O I：
10.1007/BF02946496
中图分类号：
学科分类号：
摘要：
In this paper the definition of order-sorted algebra is generalized by introducing transformation functions between subtypes and supertypes. According to our definition, a type needn't be a subset of its supertype and a record model may form an order-sorted algebra. A new definition of equation is given. It has also been proved that equational theories and describing single inheritance have the initial model.
引用
收藏
页码：547 / 551
页数：4
相关论文
共 50 条
12345