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

• 作者: 杨元生 王丹 王斌
• 来源期刊: 大连理工大学学报
• 学科: 工学
• 关键词: 类型/面向对象 多态
• 年，卷（期）: 2001,（2）
• 页码范围: 249-252
• 页数: 4页
• 分类号: TP314
• 字数: 3512字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-8608.2001.02.026

摘要

针对面向对象技术中由于多态等机制导致的类型不安全问题,提出一种解决方案——自然类型检查.该方法对面向对象程序设计中的变量进行类型安全检查,发现由多态、强制类型转换等机制引入的不安全因素,保证程序的正确执行.以Java为描述语言,详细介绍了该方法,并与传统的类型检查进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨元生	大连理工大学计算机科学与工程系	39	886	11.0	29.0
2	王丹	大连理工大学计算机科学与工程系	37	300	5.0	17.0
3	王斌	大连理工大学计算机科学与工程系	22	223	9.0	14.0