摘要
在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。
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.
出处
《计算机科学》
CSCD
北大核心
1999年第11期55-56,共2页
Computer Science
关键词
面向对象
程序设计语言
类
形式化
Atom class,Composite class,Inheritance,Formalization