摘要
本文引入了面向对象程序设计语言的类的概念 ,对类及其继承性给出了一种严格的形式化描述 .这种形式化描述显然是建立面向对象模型的基础 .
This paper introduces the notions of the class of object oriented programming languages . Furthermore, it gives a strict formalized description of class and its inheritance. Obviously, this kind of formalization underlies the construction of object oriented model.
出处
《小型微型计算机系统》
EI
CSCD
北大核心
2000年第6期650-652,共3页
Journal of Chinese Computer Systems