米盖尔·桑切斯·奥达兹(Miguel A.Sanchez-Ordaz)。;伊莎贝尔·加西亚·孔特雷拉斯;维克托·佩雷斯;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;曼努埃尔·赫梅内吉尔多。 VeriFly公司:通过增量进行实时断言检查。 (英语) Zbl 1530.68059号 理论与实践。日志。程序。 第6期第21期,第768-784页(2021).MSC公司:68N17号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Sanchez-Ordaz}等人,《理论与实践》。日志。程序。21,第6号,768--784(2021;Zbl 1530.68059) 全文: 内政部 arXiv公司
伊格纳西奥·卡索;JoséF·莫拉莱斯。;López-García,P。;曼努埃尔·赫梅内吉尔多。 测试你的(静态分析)真理。 (英语) Zbl 07496652号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,LOPSTR 2020,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 271-292 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Casso}等人,Lect。注释计算。科学。12561、271--292(2021;Zbl 07496652) 全文: 内政部 链接
伊格纳西奥·卡索;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;曼努埃尔·赫梅内吉尔多。 Prolog中基于断言的随机测试的集成方法。 (英语) Zbl 1502.68061号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042159-176(2020年)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Casso}等人,Lect。注释计算。科学。12042、159--176(2020年;Zbl 1502.68061) 全文: 内政部 链接
伊格纳西奥·卡索;JoséF·莫拉莱斯。;佩德罗·洛佩兹·加西亚;罗伯托·贾科巴齐;曼努埃尔·赫梅内吉尔多。 计算逻辑程序中的抽象距离。 (英语) Zbl 1502.68060号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042,57-72(2020)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Casso}等人,Lect。注释计算。科学。12042,57-72(2020;Zbl 1502.68060) 全文: 内政部 arXiv公司 链接
马克西米利亚诺·克莱门;佩德罗·洛佩兹·加西亚;约翰·加拉赫。;JoséF·莫拉莱斯。;曼努埃尔·赫梅内吉尔多。 并行逻辑程序静态成本分析的一般框架。 (英语) Zbl 1502.68068号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042, 19-35 (2020).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Klemen}等人,Lect。注释计算。科学。12042,19-35(2020;Zbl 1502.68068) 全文: 内政部 arXiv公司 链接
约翰·加拉赫。;曼纽尔·赫尔梅内吉尔多;比肖克桑·卡夫;马克西米利亚诺·克莱门;佩德罗·洛佩斯·加西亚;何塞·莫拉莱斯 从大步骤到小步骤语义,再到解释器专业化。 (英语) 兹比尔07453190 Fribourg,Laurent(ed.)等人,第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)320、50-64(2020年)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Gallagher}等人,《电子》。程序。西奥。计算。科学。(EPTCS)320、50--64(2020;Zbl 07453190) 全文: arXiv公司 链接
洛佩兹·加西亚,P。;达尔马万,L。;M.克莱门。;Liqat,美国。;布埃诺,F。;M.V.Hermenegildo。 通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。 (英语) Zbl 1478.68170号 理论与实践。日志。程序。 18,第2期,167-223(2018).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。18,第2号,167--223(2018;Zbl 1478.68170) 全文: 内政部 arXiv公司
洛佩斯·加西亚,P。;M.克莱门。;美国利卡特。;M.V.Hermenegildo。 用于静态分析参数资源使用情况的通用框架。 (英语) Zbl 1379.68097号 理论与实践。日志。程序。 16,编号5-6,849-865(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《理论与实践》。日志。程序。16、编号5--6849--865(2016;Zbl 1379.68097) 全文: 内政部 arXiv公司
哈默雷,R。;López-García,P。;美国利卡特。;M.克莱门。;加拉赫,J.P。;M.V.Hermenegildo。 参数累积成本静态分析的转换方法。 (英语) Zbl 1475.68087号 Kiselyov,Oleg(编辑)等人,《功能和逻辑编程》。2016年3月4日至6日,第13届国际研讨会,FLOPS 2016,日本高知。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9613, 163-180 (2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Haemmerlé}等人,Lect。注释计算。科学。9613、163--180(2016年;Zbl 1475.68087) 全文: 内政部 链接
M.V.Hermenegildo。;布埃诺,F。;M.卡罗。;López-García,P。;E.梅拉。;J.F.莫拉莱斯。;G.普埃布拉。 Ciao及其设计理念概述。 (英语) Zbl 1244.68019号 理论与实践。日志。程序。 12,编号1-2,219-252(2012).MSC公司:68N17号 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人,《理论与实践》。日志。程序。12、编号1--2、219--252(2012;Zbl 1244.68019) 全文: 内政部
佩德罗·洛佩兹·加西亚;布埃诺,弗朗西斯科;曼纽尔·赫尔梅内吉尔多 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 (英语) 兹比尔1192.68130 新一代计算。 28,第2期,177-206(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《新一代计算》。28,第2号,177--206(2010;Zbl 1192.68130) 全文: 内政部 链接