@文章{upm13285，journal={新一代计算}，页数={117--206}，数字={2}，title={确定性和互斥性的自动推断对于使用模式和类型分析的逻辑程序}，doi＝{10.1007/s0354-008-0085-1}，publisher={Springer}，年份＝{2010}，体积={28}，keywords={确定性推理和检查，类型，程序分析，调试、优化}，url={http://www.springerlink.com/content/2761376717112242/}，issn={0288-3635}，作者={Bueno Carrillo，Francisco和Hermenegildo，Manuel V.和L{'o}pez Garc{'i}a，Pedro}，abstract={我们提出了检测程序和目标的分析它们是确定性的（即最多一次产生一个解决方案），或者是子句测试互斥的谓词（这意味着它们最多只能有一个子句成功），即使它们不是确定性的。该分析利用剪枝算子来提高互斥检测和确定性。它还支持算术方程和不等式，以及项上的方程和不等式，为此我们给出了一个完整的可满足性测试算法，w.r.t.可用类型信息。确定性信息可用于程序调试和优化、资源消耗和粒度控制，我们已经实现了分析并将其集成在CiaoPP系统中，该系统还自动推断出我们的分析作为输入的模式和类型信息。在此实现上进行的实验表明，该分析相当准确和有效。}}