【摘要】 <正> 在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。更多还原

【Abstract】 This paper introduces the notions of atom class and composite class. Furthermore,it gives a strict formalized description of class and its inheritance. Obviously, this kind of formalization underlies the construction of object-oriented model.更多还原