论文部分内容阅读
本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。
CLP（R）程序部分演绎的研究
【摘 要】
：
本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是
【机 构】
：
北京工业大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1996年5期
【基金项目】
：
国家“863”高科技项目
其他文献
目的分析奥沙利铂及卡培他滨组成的化疗方案治疗老年胃肠恶性肿瘤的疗效。方法选取2013年10月至2015年3月我院收治的老年胃肠恶性肿瘤患者82例进行分组研究,按照抽签法分为对
本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。
在自行设计的实际计算机应用系统中，由于各系统硬件配置的特殊性，所以系统设计者往往很难找到适用的软件开发工具和应用软件，本文总结了研制一个主从式的图像序列产生器的过程中
目的探讨扶正降黏胶囊对冠心病患者血栓形成前期相关因素的影响.方法将90例冠心病合并高黏滞血症患者随机分为3组,在常规治疗基础上分别加用健脾补肾活血药扶正降黏胶囊(FZJN
按照辽宁省教育厅和辽宁省基础教育教研培训中心的要求和安排，辽宁省基础教育教研培训中心语文研训部和辽宁省中语会于2005年7月18日-20日在辽宁省本溪市对全省各市及县区中语
谈教学评论必然会谈到教学评价，要洞悉小学数学教学评论在小学数学教学上的应用，必然要理清教学评伦与教学评价的关系，那么小学数学教学评论与小学数学教学评价的区别与联系何在呢?“教学评论”，可以就一教学现象，谈谈自己的教学主张。教学评论不等于教学评价，教学评价需要对评价的问题作出一种类似与好坏、对错、优劣的价值判断，而教学评论不一定要作出什么价值判断，它可以是一种“论述”，引发评论者和被评者更多的思考，
电视会议系统是计算机支持的协同工作的一种典型的应用。在设计电视会议的共享白板系统时，保证所有用户的感觉一致性是非常重要的。文中给出了一致性的３种定义，并以客户－服务器模
美术教学应在师生之间讨论交流中进行。在互动中，教师可以利用平等的关系，引导孩子发现美，欣赏美。在课堂中运用语言对孩子的学习活动进行评价，可以帮助孩子理解，有助于孩子形成正