%0 Journal Article
%T A PARTIAL DEDUCTION PROCEDURE BASED ON Abstract INTERPRETATIONS<br>一个基于抽象解释的部分演绎过程
%A Liu Chunnian
%A <br>刘椿年
%J 软件学报
%D 1994
%I 
%X 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．
%K Logic programming
%K partial deduction
%K abstract interpretation<br>逻辑程序设计，部分演绎，抽象解释
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=EE4F0B79A86EAE2CE56F9ABE8FDB2655&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=708DD6B15D2464E8&sid=4AD960B5AD2D111A&eid=42425781F0B1C26E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=9