13285 21 17325 5 239033 文件 17325 HERME_A_2010-2.pdf格式 应用程序/pdf 1605839 2014-09-22 10:58:06 https://oa.upm.es/13285/1/HERME_A_2010-2.pdf 13285 1 应用程序/pdf 应用程序/pdf 恩 公众的

HERME_A_2010-2.pdf格式

档案 2047 磁盘0/00/01/32/85 2012-09-25 08:20:47 2014-11-04 11:37:23 2014-11-04 11:37:23 文章 显示 0 布埃诺·卡里略 弗朗西斯科 0000-0002-5460-5537 埃梅内希尔多 曼努埃尔五世。 0000-0002-7583-323X号 洛佩斯·加西亚 佩德罗 酒吧 信息主义 确定性推理与检验，类型，程序分析，调试、优化 我们建议对检测程序和目标进行分析它们是确定性的（即最多一次产生一个解决方案），或者是子句测试互斥的谓词（这意味着它们最多只能有一个子句成功），即使它们不是确定性的。该分析利用剪枝算子来提高互斥检测和确定性。它还支持算术方程和不等式，以及项上的方程和不等式，为此我们给出了一个完整的可满足性测试算法，w.r.t.可用类型信息。确定性信息可用于程序调试和优化、资源消耗和粒度控制，我们已经实现了分析并将其集成在CiaoPP系统中，该系统还自动推断出我们的分析作为输入的模式和类型信息。对该实现进行的实验表明，该分析是相当准确和有效的。 2010 出版 施普林格 http://www.springerlink.com/content/2761376717112242/ 2007年10月10日/00354-008-0085-1 公众的 新一代计算 28 2 117-206 Informatica公司 智能_人工 真的 0288-3635 旁路nc-nd FP7系列 215483 S-立方体