高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
一个基于抽象解释的部分演绎过程
作者：
收录：
摘要：
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1996，计算机研究与发展
1994，软件学报
1994，北京工业大学学报
来源 ：
软件学报
年份： 1994
期： 11
页码： 31-37
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 2
归属院系：
信息学部 计算机学院
全文获取
外部链接：
