子类型的指称语义

• 作者: 张路 梅宏 黄柏素
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 面向对象 指称语义 子类型 类型强制
• 年，卷（期）: 1999,（8）
• 所属期刊栏目: 学术论文与技术报告
• 页码范围: 46-48
• 页数: 3页
• 分类号: TN91
• 字数: 3296字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.1999.08.013

摘要

继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题.本文针对继承关系的一种形式一一对象间行为规范的继承,即子类型关系,探讨了其指称语义.基本思想是将子类型关系视为类型强制,通过类型强制函数将子类型对象解释父类型域中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅宏	北京大学计算机科学技术系	68	4654	26.0	68.0
2	张路	北京大学计算机科学技术系	43	925	14.0	30.0
3	黄柏素	北京大学计算机科学技术系	1	1	1.0	1.0