P. López-García

Available identifiers

zbMath Open lopez-garcia.pedroMaRDI QIDQ980468

List of research outcomes

Publication	Date of Publication	Type
Regular path clauses and their application in solving loops	2024-12-03	Paper
Computing Abstract Distances in Logic Programs	2022-08-25	Paper
An Integrated Approach to Assertion-Based Random Testing in Prolog	2022-08-25	Paper
A General Framework for Static Cost Analysis of Parallel Logic Programs	2022-08-25	Paper
Testing your (static analysis) truths	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020649	2022-01-06	Paper
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks	2018-09-06	Paper
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption	2018-05-31	Paper
A general framework for static profiling of parametric resource usage	2017-11-09	Paper
A Transformational Approach to Parametric Accumulated-Cost Static Profiling	2016-04-04	Paper
Interval-Based Resource Usage Verification: Formalization and Prototype	2012-11-02	Paper
An overview of Ciao and its design philosophy	2012-06-25	Paper
A framework for verification and debugging of resource usage properties: resource usage verification	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3111790	2012-01-13	Paper
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses	2010-06-29	Paper
Determinacy Analysis for Logic Programs Using Mode and Type Information	2008-04-24	Paper
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation	2008-03-11	Paper
Functional and Logic Programming	2007-09-25	Paper
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)	2005-10-10	Paper
Euro-Par 2004 Parallel Processing	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4813396	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4737145	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4424850	2003-09-07	Paper

Research outcomes over time

This page was built for person: P. López-García