%0 Journal Article
%T 行为规范作为类型
%A 孙永强
%A 梅宏
%J -
%D 1995
%X 在面向对象程序设计中，继承性是导致语义复杂性的因素之一．本文讨论了作为代码共享机制的继承和表示功能特殊化的子类型的共存及相互关系．采用了将行为规范视为类型的概念，即类型为命名操作的集合．并在此基础上给出了类型、类及子类型关系的形式描述
%K 面向对象程序设计 数据类型 继承 子类型 行为规范
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950504&flag=1