Towards an abstract domain for resource analysis of logic programs using sized types

Serrano, Alejandro and López García, Pedro and Hermenegildo, Manuel V. (2013). Towards an abstract domain for resource analysis of logic programs using sized types. In: "23rd Workshop on Logic-based methods in Programming Environments", 24-25 Aug 2013, Estambul, Turquía. pp. 1-15.

Description

Title: Towards an abstract domain for resource analysis of logic programs using sized types
Author/s:
  • Serrano, Alejandro
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 23rd Workshop on Logic-based methods in Programming Environments
Event Dates: 24-25 Aug 2013
Event Location: Estambul, Turquía
Título de Revista/Publicación: Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Date: August 2013
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Abstract

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

More information

Item ID: 29543
DC Identifier: http://oa.upm.es/29543/
OAI Identifier: oai:oa.upm.es:29543
Deposited by: Memoria Investigacion
Deposited on: 24 Jun 2014 08:07
Last Modified: 21 Apr 2016 23:56
  • 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