论文部分内容阅读
面向对象语言在软件工程实践中有着广泛的应用。为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义。给出了一种新的面向对象语言的语义框架,该框架基于命令式的风格,具有操作语义和类型规则;证明了该语义框架的类型安全定理。
一种命令式风格的面向对象语言语义框架
【摘 要】
：
面向对象语言在软件工程实践中有着广泛的应用。为面向对象语言定义严格的语义有助于理解面向对象语言的本质特征,对验证软件、提高软件系统可靠性等也具有重要意义。给出了
【机 构】
：
中国科学技术大学软件学院,Intel中国研究院
【出 处】
：
计算机科学
【发表日期】
：
2013年02期
【基金项目】
：
国家自然科学基金项目(61170051)资助
其他文献
选择旅游酒店数、旅行社数、旅游酒店从业人员数和旅行社从业人员数为旅游投入因素,旅游总收入为产出变量,运用数据包络分析方法中的C2R模型分析2001—2010年中国区域旅游效
<正>"无论是哪一种文化,没有其相应的物质承担者,没有其特定的物化形态的东西作为载体都无法完成。"1文化属于意识层面的东西,物质决定意识。所以说,任何一项文化建设,其"物
<正>十八大报告站在全局和战略的高度,提出了"深化平安建设,完善立体化社会治安防控体系"的新要求,这不仅是形式、内容上的实质变化,更是党委政府推进改革、促进公安机关加强
"学讲方式"更注重课堂教学组织形式的创设,要求学生的自主先学和合作助学,高质量的课堂不仅,能让学生"学进去""讲出来",还能培养学生良好的学习习惯,激发学习兴趣,本文探究以
对葡萄果醋的起源、发展现状、保健作用、发酵工艺进行了综述,提出了葡萄果醋酿造的技术要求,并对葡萄果醋的发展意义及趋势进行了探讨,即充分利用葡萄资源开发果醋产品,为葡
近几年来，民营经济更是以惊人的速度向前发展，在国民经济中占据着越来越重要的地位。然而，中小企业的融资问题仍然是当前阻碍中小民营企业发展的重要因素。从民营企业融资问题导
在非洲西部一个与世隔绝的山区．跋涉着一支考察队。他们正在对这里进行自然植被及野生动物的考察及研究。一天，考察队穿行于一片茂密的树丛．忽然．他们看见在树上的缝隙中有几个人
利用XRF和XRD研究了转炉钢渣化学成分与矿物成分,分析了不同掺量钢渣粉和钢渣砂对水泥砂浆强度的影响规律。研究结果表明转炉钢渣组成与水泥熟料相似,在碱激发措施下钢渣粉的
<正>创新是民族发展的不竭动力,只有具有创新精神的人才才能担负建设国家的重任。对此,小学语文教学中教师不仅要传授学生一定的语文知识,还应该有效培养学生的创新思维能力,
会议
安全工程专业实践教学平台是培养本科生实践能力的重要途径和场所,对培养应用技术型人才具有重要作用。但基于各种因素,中国地质大学(武汉)安全工程系实践教学平台的建设工作