User-definable resource bounds analysis for logic programs

Navas, J.; Mera, E.; López García, Pedro y Hermenegildo, Manuel V. (2007). User-definable resource bounds analysis for logic programs. En: "23rd International Conference, ICLP 2007", September 8-13, 2007, Porto, Portugal. ISBN 978-3-540-74608-9.


Título: User-definable resource bounds analysis for logic programs
  • Navas, J.
  • Mera, E.
  • López García, Pedro
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 23rd International Conference, ICLP 2007
Fechas del Evento: September 8-13, 2007
Lugar del Evento: Porto, Portugal
Título del Libro: Logic Programming
Fecha: 2007
ISBN: 978-3-540-74608-9
Volumen: 4670
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (964kB) | Vista Previa


We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Más información

ID de Registro: 14337
Identificador DC:
Identificador OAI:
URL Oficial:
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Ene 2013 07:55
Ultima Modificación: 21 Abr 2016 13:57
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM