%0 Journal Article
%T BEHAVIORAL SPECIFICATIONS AS TYPES<br>行为规范作为类型
%A Mei Hong
%A Sun Yongqiang
%A <br>梅宏
%A 孙永强
%J 软件学报
%D 1995
%I 
%X In object-oriented programming,the inheritance is one of the factors which induce semantic complexity.In this paper,the coexistence and relationship of inheritance,as a mechanism for sharing codes,and subtyping,which expresses specialization in functionality, are discussed.The concept of type, which states that types are behavioral specifications of objects,that is,the sets of named operations,is presented. Based on this concept, types, classes and subtyping relationship are described formally.
%K Object-oriented programming
%K data type
%K inheritance
%K subtyping
%K behavioral specification<br>面向对象程序设计
%K 数据类型
%K 继承
%K 子类型
%K 行为规范
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=9A416F125EFBAE832AC8D4084F90D8CA&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=94C357A881DFC066&sid=5D8C08279A19B0D4&eid=F50A8B5513721E1C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=16