面向对象程序设计语言的类型系统  

TYPE SYSTEMS OF OBJECT-ORIENTED PROGRAMMING LANGUAGES

作　　者：李晓燕[1] 李斌 

机构地区：[1]华中师范大学计算机科学系,武汉430079 [2]武汉铁路运输学校,武汉430063

出　　处：《小型微型计算机系统》2000年第6期650-652,共3页Journal of Chinese Computer Systems

摘　　要：本文引入了面向对象程序设计语言的类的概念 ,对类及其继承性给出了一种严格的形式化描述 .这种形式化描述显然是建立面向对象模型的基础 .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.

关 键 词：面向对象 程序设计语言 类型系统 类 继承性 

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