面向对象z的子类型继承和推理规则
, PP. 481-486
Keywords: 形式方法,面向对象,继承,子类型,形式规约.
Abstract:
讨论了cooz(completeobject-orientedz)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了cooz的规约继承及规约继承的推理规则.所讨论的子类型化方法与e.cusack等人的方法相比,具有可构造性,并且比liskov等人的方法具有更大的灵活性.
Full-Text
