%0 Journal Article
%T Abstract Interpretation Based Verification of Prolog Programs<br>基于抽象解释的Prolog程序验证技术研究
%A ZHAO Ling-zhong
%A GU Tian-long
%A CAI Guo-yong
%A QIAN Jun-yan
%A <br>赵岭忠
%A 古天龙
%A 蔡国永
%A 钱俊彦
%J 计算机科学
%D 2008
%I 
%X Abstract interpretation is a general theory of semantics approximation,which has been widely used in the verification of computer programs.Existing abstract interpretation based verification methods for logic programs do not deal with the properties associated with the program points.Based on our previous work on Prolog semantics,an abstract interpretation based verification method for Prolog programs is proposed in this paper,which makes use of a denotational semantics for Prolog that contains path informa...
%K Prolog<br>抽象解释
%K 程序验证
%K 不动点语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2BE9A1139DE2FB9ACDDCE74871A28055&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=4D7D059FFBF006B9&eid=DC330B09A33F1455&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=31