期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

面向对象语言自然类型检查方法

A method of physical type checking for object-oriented language
下载PDF
导出
摘要 针对面向对象技术中由于多态等机制导致的类型不安全问题 ,提出一种解决方案——自然类型检查 .该方法对面向对象程序设计中的变量进行类型安全检查 ,发现由多态、强制类型转换等机制引入的不安全因素 ,保证程序的正确执行 .以 Java为描述语言 ,详细介绍了该方法 ,并与传统的类型检查进行了比较 .
作者 王丹 王斌 杨元生
机构地区 大连理工大学计算机科学与工程系
出处 《大连理工大学学报》 CAS CSCD 北大核心 2001年第2期249-252,共4页 Journal of Dalian University of Technology
关键词 面向对象 多态 类型安全检查 程序设计方法 自然类型检查 类型不安全问题 JAVA
分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1董惠.Java实用编程例解[M].北京:电子工业出版社,1999..
  • 2林慕新.Visual J^++ 6.0实例教程[M].北京:电子工业出版社,1999..
  • 3王筱瑾,陶先平,柳杨,吕建.协变多态计算中类型安全问题的研究[J].计算机科学,1999,26(3):15-18. 被引量：1
  • 4Chandra S，Software Eng Notes，1999年，24卷，5期，66页
  • 5董惠，Java实用编程例解，1999年
  • 6林慕新，Visual J＋ ＋ 6 0实例教程，1999年

二级参考文献1

  • 1谢高严 徐永森 等.TransFrame语言中类型依赖关系及其实现[J].微型计算机,1997,17.

共引文献2

大连理工大学学报
2001年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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