期刊文献+

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

Formalization Reseach about the Class in Oriented-Object Field
下载PDF
导出
摘要 在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。 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
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部