关于面向对象的类的形式化研究  

Formalization Reseach about the Class in Oriented-Object Field

作　　者：李晓燕[1] 林云[1] 蔡霞[1] 

机构地区：[1]华中师范大学计算机科学系,武汉430079

出　　处：《计算机科学》1999年第11期55-56,共2页Computer Science

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

关 键 词：面向对象 程序设计语言 类 形式化 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]