迈克尔·科迪什;莫里斯·布吕诺格;玛丽亚·加西亚·德拉班达;曼纽尔·赫尔梅内吉尔多 在逻辑程序分析中利用目标独立性。 (英语) Zbl 0883.68027号 J.日志。程序。 32,第3期,247-261(1997). 摘要:本文说明了使用自顶向下的框架对逻辑程序进行与目标无关的分析,这是一项通常与自底向上方法相关的任务。虽然众所周知,通过魔术集转换,可以使用自下而上的方法进行目标相关分析,但自上而下的方法可以用于目标无关的分析则鲜为人知。本文描述了实现后者的两种方法。我们展示了如何使用目标无关分析的结果来加速后续的目标相关分析。然而,这种加速可能会导致精度损失。讨论了域特性对该精度的影响,并描述了使用通用自顶向下分析器进行的实验评估。我们的结果提供了关于可能值得进行两阶段分析的情况的直觉。 引用于2文件 MSC公司: 68N17号 逻辑编程 关键词:逻辑程序;目标无关分析 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,J.Log。程序。32,第3号,247--261(1997;Zbl 0883.68027) 全文: 内政部