Person: Pedro López-García

DBLP: L=oacute=pez-Garc=iacute=a:Pedro

Contributed to:

2014

2013

2011

2011

2010

2009

2008

2007

2007

2006

2005

2004

2004

2003

2002

1999

1997

1997

1995

1994

Wrote 20 papers:

ICLP-J-2014-SerranoLH #abstract interpretation #analysis #logic programming #resource management #source code #using

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types (AS, PLG, MVH), pp. 739–754.

LOPSTR-2013-LiqatKSGLGHE #analysis #energy #modelling #source code

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models (UL, SK, AS, KG, PLG, NG, MVH, KE), pp. 72–90.

PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.

PPDP-2011-HaemmerleLH #constraints

CLP projection for constraint handling rules (RH, PLG, MVH), pp. 137–148.

ICLP-2010-Lopez-GarciaDB10 #debugging #framework #resource management #verification

A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (PLG, LD, FB), pp. 104–113.

ICLP-2009-MeraLH #framework #runtime #testing #verification

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.

PPDP-2008-MeraLCH #automaton #estimation #execution #towards

Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.

ICLP-2007-NavasMLH #analysis #bound #logic programming #source code

User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.

PADL-2007-MeraLPCH #execution #profiling #static analysis

Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.

ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

PPDP-2005-HermenegildoALP #abstraction

Abstraction carrying code and resource-awareness (MVH, EA, PLG, GP), pp. 1–11.

FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard

Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.

LOPSTR-2004-Lopez-GarciaBH #analysis #logic programming #source code #using

Determinacy Analysis for Logic Programs Using Mode and Type Information (PLG, FB, MVH), pp. 19–35.

SAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.

ICALP-2002-HermenegildoPBL #approximate #debugging #semantics #specification #using #validation

Program Debugging and Validation Using Semantic Approximations and Partial Specifications (MVH, GP, FB, PLG), pp. 69–72.

ICLP-1999-HermenegildoBPL #debugging #optimisation #preprocessor #program analysis #using

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor (MVH, FB, GP, PLG), pp. 52–66.

ICLP-1997-DebrayGH #analysis #logic programming #source code

Non-Failure Analysis for Logic Programs (SKD, PLG, MVH), pp. 48–62.

ILPS-1997-DebrayLHL #bound #estimation #logic programming #source code

Lower Bound Cost Estimation for Logic Programs (SKD, PLG, MVH, NWL), pp. 291–305.

ICLP-1995-HermenegildoL #performance

Efficient Term Size Computation for Granularity Control (MVH, PLG), pp. 647–661.

SAS-1994-DebrayGHL #logic programming #source code

Estimating the Computational Cost of Logic Programs (SKD, PLG, MVH, NWL), pp. 255–265.