%0 Journal Article
%T 面向对象z的子类型继承和推理规则
%A 王云峰？
%A 李必信？
%A 郑国梁？
%J 软件学报
%P 481-486
%D 2000
%X 讨论了cooz(completeobject-orientedz)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了cooz的规约继承及规约继承的推理规则.所讨论的子类型化方法与e.cusack等人的方法相比,具有可构造性,并且比liskov等人的方法具有更大的灵活性.
%K 形式方法
%K 面向对象
%K 继承
%K 子类型
%K 形式规约.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000409&flag=1