User-definable resource bounds analysis for logic programs

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


Title: User-definable resource bounds analysis for logic programs
  • Navas, J.
  • Mera, E.
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 23rd International Conference, ICLP 2007
Event Dates: September 8-13, 2007
Event Location: Porto, Portugal
Title of Book: Logic Programming
Date: 2007
ISBN: 978-3-540-74608-9
Volume: 4670
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (964kB) | Preview


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.

More information

Item ID: 14337
DC Identifier:
OAI Identifier:
Official URL:
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 22 Jan 2013 07:55
Last Modified: 21 Apr 2016 13:57
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM