论文部分内容阅读
该文讨论了面向对象程序设计和抽象数据类型理论及记录理论之间的关系，着重探讨它们之间的差异，并提出了一种支持面向对象程序设计的构造性类型理论框架。
面向对象程序设计及类型的若干问题
【摘 要】
：
该文讨论了面向对象程序设计和抽象数据类型理论及记录理论之间的关系，着重探讨它们之间的差异，并提出了一种支持面向对象程序设计的构造性类型理论框架。
【机 构】
：
大学计算机科学系(长春)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
【中图分类号】G633.6【文献标识码】A 【文章编号】2095-3089（2013）02-0167-01 数学课堂教学评语，是数学课堂教学的“即时评价”的重要表现形式，是在教学过程中教师对学生学习的一种最常用、最简单的评价方式，是指明学生学习活动中某个细节正确与否的一种语言描述。它渗透于课堂教学过程中，是在课堂教学中对学生所表现出的种种信息进行处理的过程和即时的评估，它是教学过程中不可或缺的一
该文简要介绍了利用MFC程序框架组合设计开采沉陷数据处理软件的新方法，其中包括ODBc、OLE自动化等内容，并列出了一些重要函数的实现。新设计的系统不但具有Windows程序界面丰
大家注意到面向对象技术绎软件生产带来的巨大益处。然而对于同样是基于面向对象技术构造的软件，由于分析、设计者的经验、出发点等的不同，所得的结果会差别很大，Java从开始就以
课堂教学作为师生活动的中心环节和基本的组织形式,是学生获取知识、锻炼能力和提高各种技能的主要途径。那么,如何构建优质高效课堂是每位数学教师理应思考、探索的主要课题
梦脑诨诠辜钠笠导山?CEM)框架的基础上，重点介绍了企业建模生命周期中设计说明阶段所采用的建模方法。在设计说明阶段，CEM采用面向对象的Pert网(Opnet)来建立各视的模
《一站到底》是江苏卫视推出的一档大型室内答题类节目,答题类节目屡见不鲜,但是《一站到底》和其他答题类节目不同,它的定位是一档大型娱乐节目。现场同时有十一名选手、两
从面向对象信息系统组的角度讨论了按超媒体方式组织管理信息系统的一个概念模型。该模型从属性、结点、结点聚合三个层次对超媒体“结点－－链接”模型进行了面得对象扩充，实现多
该文主要阐述用面向对象语言实现“工业Ｘ射线底片计算机检测”的方法。具体编程实现采用ＢｏｒｌｉａｎｄＣ＋＋３．１ｆｏｒＷｉｎｄｏｗｓ语言。