{“文档”：[{“版本号”：5，“language”：“en”，“format”：“application/pdf”，“文件”：[{“mime_type”：“应用程序/pdf”，“uri”：“https://oa.upm.es/id/file/239033",“文件大小”：1605839，“反对”：17325，“时间”：“2014-09-22 10:58:06”，“文件名”：“HERME_A_2010-2.pdf”，“dataset”：“文档”，“文件ID”：239033}],“位置”：1，“security”：“public”，“印刷”：13285，“main”：“HERME_A_2010-2.pdf”，“文档ID”：17325，“uri”：“https://oa.upm.es/id/document/17325",“mime_type”：“application/pdf”}],“full_text_status”：“公共”，“id_number”：“10.1007/s00354-008-0085-1”，“数字”：2，“日期戳”：“2012-09-25 08:20:47”，“uri”：“https://oa.upm.es/id/eprint/13285",“受试者”：[“信息”],“eprint_status”：“存档”，“官方url”：“http://www.springerlink.com/content/2761376717112242/",“状态已更改”：“2014-11-04 11:37:23”，“lastmod”：“2014-11-04 11:37:23”，“目录”：“disk0/00/01/32/85”，“创作者”：[{“名称”：{“给定”：“Francisco”，“荣誉”：空，“血统”：空，“家庭”：“布埃诺·卡里略”}，“orcid”：“0000-0002-5460-5537”}，{“名称”：{“家族”：“赫梅内吉尔多”，“血统”：空，“给定”：“曼努埃尔五世”，“荣誉”：空}，“兽人”：“0000-0002-7583-323X”}，{“名称”：{“荣誉”：空，“给定”：“佩德罗”，“family”：“L\u00f3pez Garc\u00eda”，“沿袭”：空}}],“版本号”：21，“类型”：“文章”，“日期”：2010年，“item_issues_count”：0，“publisher”：“Springer”，“issn”：“0288-3635”，“体积”：28，“页面范围”：“117-206”，“eprintid”：13285，“用户ID”：2047，“keywords”：“确定性推理和检查，类型，程序分析，调试，优化”，“institution”：“Informatica”，“title”：“使用模式和类型分析为逻辑程序自动推断确定性和互斥性”，“引用”：“TRUE”，“date_type”：“已发布”，“部门”：“智能_人工”，“abstract”：“我们提出了一种分析方法，用于检测确定性的过程和目标（即，最多一次产生一个解决方案），或子句测试互斥的谓词（这意味着它们的子句中最多有一个会成功）即使它们不是确定性的。\\r\n分析利用剪枝操作符来改进互斥检测和确定性。它还支持算术方程和不等式，以及基于项的方程和不等式。对于这些，我们在已知类型信息的情况下，给出了一个完整的可满足性测试算法。有关确定性的信息可以用于程序调试和优化、资源消耗和粒度控制、\r\n携带代码的straction等。我们已经实现了分析并将其集成到了CiaoPP系统中，它还自动推断出我们的分析作为输入的模式和类型信息。对该实现进行的实验表明，该分析是相当准确和有效的。",“ispublished”：“pub”，“publication”：“新一代计算”，“综合项目”：[{“title”：“软件服务和系统网络”，“leader”：空，“缩写词”：“S-CUBE”，“代码”：215483，“类型”：“FP7”}],“metadata_visibility”：“显示”，“权利”：“by-nc-nd”}