论文部分内容阅读
继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题.本文针对继承关系的一种形式一一对象间行为规范的继承,即子类型关系,探讨了其指称语义.基本思想是将子类型关系视为类型强制,通过类型强制函数将子类型对象解释父类型域中.
子类型的指称语义
【摘 要】
：
继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题.本文针对继承关系的一种形式一一对象间行为规范的继承,即子类型关系,探讨了其
【机 构】
：
北京大学计算机科学技术系,北京,100871
【出 处】
：
电子学报
【发表日期】
：
1999年8期
其他文献
本文对知名的集成电路工艺模拟软件SSUPREM4进行了较仔细的校验,用SSUPREM4模拟了氧化、扩散工艺,并同实验值进行了比较,模拟值和实验值的偏差在10%以内,与集成电路器件模拟
本文以我国151名少年网球运动员为对象,依据张力为、毛志雄编写的《体育科学常用心理量表评定手册》中的部分问卷作为测量工具,运用测量法对少年网球运动员心理控制能力进行
十六大以来,党和政府都更加明确地提出了改善阶层关系,构建和谐社会的理念。这就要求我们必须重新审视所处的时代,直面而不是以简单的“改革代价”为理由掩盖当今社会存在的
计算机化考试取代传统纸质考试模式，具有公平、公正、高效的特点，因此越来越多的考试系统应运而生。但现有的考试系统或题库系统大多题型简单，呈现方式单一，交互方式仍然以外部交
近年来,河北医科大学第三医院先后荣获“河北省卫生系统精神文明建设先进单位”、“河北省文明服务三星级单位”、“全国卫生系统先进单位”、“河北省卫生系统行风建设先进
本文给出了一个基于ＣＭＯＳ工艺电流控制电流转换器（ＣＣＣⅡ）的电路结构，并对它的性能进行了分析．由于结构简单，它适合于高频低功耗运用．文章最后给出了它在可调高频中放及连续时间∑ΔＡＤＣ变换器中
化学平衡与化学反应速率是化学学科、社会工业生产中必须讨论的问题，在中学化学课程内容中也是化学反应原理内容中的重要组成部分。长期以来，关于高中化学平衡与化学反应速率的
随着经济不断发展和教育改革的深入进行,山西省省级青少年体育赛事的举办也逐步向市场化方向发展,山西省省级青少年体育赛事的资金筹措和资源调配,也不再单一地依赖政府和体