【摘要】 本文将对象类型看做一种行为,而把子类型看做与这种行为相兼容的一种特化。基于这种想法,本文通过扩展有序代数(Order-Sorted Algebra)提出一种类型与子类型之间继承关系的代数模型,根据运算是否完全兼容将子类型划分为完全子类型与不完全子类型,并且解决了由于类型继承导致运算重叠而引起的二义性问题.更多还原

【Abstract】 By extending order-sorted algebra,this paper develops an algebraic model of subtype based on the idea that a type is a form of behavior and a subtype is a behaviorally compatible specialization of the behavior Subtypes are classified into complete and partial subtypes due to the preservation of complete or partial behavioral compatibility.The problem of ambiguity caused by overloading of functions is also solved.更多还原