高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
CLP（R）程序部分演绎的研究
作者：
收录：
摘要：
本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1994，软件学报
1997，计算机学报
1998，北京工业大学学报
来源 ：
计算机研究与发展
年份： 1996
期： 05
页码： 347-354
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 3
归属院系：
信息学部 计算机学院
全文获取
外部链接：
