论文部分内容阅读
提出了继承的一个数学模型,引入图序类别型构用来表示面向对象语言中程序的代数结构,将继承的形式语义刻划为图序类别型构集上的延拓函数。通过该数学模型,程序之代数结构的性质能反映语言的语法约束,延拓函数的性质能揭示语言中继承的特点。
继承的一个数学模型
【摘 要】
：
提出了继承的一个数学模型,引入图序类别型构用来表示面向对象语言中程序的代数结构,将继承的形式语义刻划为图序类别型构集上的延拓函数。通过该数学模型,程序之代数结构的
【机 构】
：
南京大学计算机软件研究所; 南京大学计算机软件研究所 南京 210093现工作单位:东南大学计算机系; 南京 210096; 南京 210093现工作单位:河海大学计算机
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
【发表日期】
：
1995年11期
其他文献
<正>"此生无计作重游,五月垂丹胜鹤头,为口不辞劳跋涉,愿风吹我到钦州。"这是画坛一代宗师齐白石游览钦州湾所赋之诗。钦州,一座美丽的古城,位于祖国北部湾中部。清代辖区含
<正>《义务教育生物学课程标准(2011年版)》指出,期望每个学生通过学习能够对生物学产生更浓厚的兴趣,对生物学知识有更深的理解,能够在探究能力、学习能力和解决问题能力方
<正>当你闻到海风的味道,听到海鸟的鸣叫声,你的心跳是否有所加快?是的,我就是如此。你的手里已经拿好钓具了吗?感觉很幸运?那么好,现在就让我们去海钓!但是,请稍等片刻——
期刊
本文从解读新课标对运算能力的要求入手,解释寻求合理简洁的运算途径的内涵,从运算技能形成的四个阶段阐述培养学生形成"程序化"的计算习惯的必要性,通过举例说明培养学生形
民办高校承担着为国家培养和输送人才的重任,其教学效率的高低对于人才培养目标能否实现有着重要的影响。文章针对民办高校实训基地建设的相关问题进行研讨,结合信阳师范学院
[目的]研究烟草赤星病发病规律及防治技术。[方法]比较不同品种、不同施肥量、不同移栽期、不同药剂对赤星病的抗病、发病关系以及防治效果。[结果]中烟103抗性最强,中烟100
今年7月,从事“拈花惹草”这一幸福职业的我,利用“职务之便”去了趟日本。徜徉于花海间,我竟有些沉醉不知归路。在这个草花清冷的季节,我将所见所思带给大家,聊解寂寞。7月,
堤防钓,简称堤钓,包括码头、防波堤,都可以视作是人工及建造的、鱼类聚集的小规模礁群。丰富的食物资源、良好的防护条件,这种环境无论是对于鱼类而言,还是对于钓手而言,都是
新型城镇化是引领河南省城镇体系整体加速发展的重要切入点,而城镇体系空间布局结构又是支撑新型城镇化发展的主要载体。首先,以河南省地级市、县级市、县城共126个单元为基
目的探讨中性粒细胞/淋巴细胞比值(NLR)诊断颅内动脉粥样硬化性狭窄(ICAS)的价值。方法动脉粥样硬化性缺血性脑卒中患者115例分为血管狭窄组(ICAS组,51例)和无血管狭窄组(NS