期刊文章详细信息
面向对象类型理论的比较研究 ( EI收录)
ON TYPE THEORY FOR OBJECT ORIENTED PROGRAMMING
文献类型：期刊文章
机构地区：[1]吉林大学计算机科学系 [2]吉林工业大学计算机系
基 金：国家自然科学基金;国家"863"计划
年 份：1997
卷 号：34
期 号：10
起止页码：736-741
语 种：中文
收录情况：AJ、BDHX、BDHX1996、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊
摘 要：人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础．
关 键 词：类型理论 面向对象 程序设计 形式化方法
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
