BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Italy
1 × United Kingdom
2 × Belgium
2 × Japan
2 × Portugal
3 × Spain
5 × USA
Collaborated with:
M.V.Hermenegildo F.Bueno E.Mera G.Puebla S.K.Debray M.Carro N.Lin A.Serrano R.Haemmerlé L.Darmawan T.Trigo J.A.Navas E.Albert U.Liqat S.Kerrison K.Georgiou N.Grech K.Eder
Talks about:
program (12) analysi (9) logic (8) use (6) abstract (5) resourc (5) estim (5) time (5) debug (4) interpret (3)

Person: Pedro López-García

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

Contributed to:

ICLP 20142014
LOPSTR 20132013
PADL 20112011
PPDP 20112011
ICLP 20102010
ICLP 20092009
PPDP 20082008
ICLP 20072007
PADL 20072007
ICLP 20062006
PPDP 20052005
FLOPS 20042004
LOPSTR 20042004
SAS 20032003
ICALP 20022002
ICLP 19991999
ICLP 19971997
ILPS 19971997
ICLP 19951995
SAS 19941994

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.