首页 | 本学科首页   官方微博 | 高级检索  
     

面向对象程序设计语言的类型系统
引用本文:李晓燕,李斌.面向对象程序设计语言的类型系统[J].小型微型计算机系统,2000,21(6):650-652.
作者姓名:李晓燕  李斌
作者单位:1. 华中师范大学计算机科学系,武汉,430079
2. 武汉铁路运输学校,武汉,430063
摘    要:本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。

关 键 词:面向对象  程序设计语言  类型系统    继承性
文章编号:1000-1220(2000)06-0650-03

TYPE SYSTEMS OF OBJECT-ORIENTED PROGRAMMING LANGUAGES
LI Xiao-yan,LI Bin.TYPE SYSTEMS OF OBJECT-ORIENTED PROGRAMMING LANGUAGES[J].Mini-micro Systems,2000,21(6):650-652.
Authors:LI Xiao-yan  LI Bin
Affiliation:LI Xiap-yan (Wuhan Railway Transport College Wuhan 430079)
Abstract:
Keywords:Class  Inheritance  Formalization
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号