对象类型与对象子类型研究

• 作者: 李宣东 李必信 王云峰 郑国梁
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 子类型关系 子类型规范 对象子类型 推理规则
• 年，卷（期）: 2001,（11）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 18-20,63
• 页数: 4页
• 分类号: TP31
• 字数: 3474字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2001.11.006

摘要

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学与技术系	72	1417	20.0	36.0
2	郑国梁		77	1523	21.0	37.0
3	李必信	南京大学计算机科学与技术系	25	467	11.0	21.0
4	王云峰	南京大学计算机科学与技术系	14	226	6.0	14.0