Pedro Lopez-Garcia

Available identifiers

zbMath Open lopez-garcia.pedroMaRDI QIDQ980468

List of research outcomes

Publication	Date of Publication	Type
A General Framework for Static Cost Analysis of Parallel Logic Programs	2022-08-25	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro Lopez-Garcia