%0 Journal Article
%T 一个基于抽象解释的部分演绎过程
%A 刘椿年
%J -
%D 1994
%X 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化
%K 逻辑程序设计
%K 部分演绎
%K 抽象解释
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19941105&flag=1