Sized Type Analysis for Logic Programs (Technical Communication)

Serrano Mena, Alejandro; López García, Pedro; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2013). Sized Type Analysis for Logic Programs (Technical Communication). "Theory and Practice of Logic Programming", v. 13 (n. 4-5 (S); pp. 1-15. ISSN 1471-0684.

Descripción

Título: Sized Type Analysis for Logic Programs (Technical Communication)
Autor/es:
  • Serrano Mena, Alejandro
  • López García, Pedro
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Artículo
Título del Evento: 29th International Conference on Logic Programming
Fechas del Evento: 24-29 Aug 2013
Lugar del Evento: Estambul, Turquía
Título de Revista/Publicación: Theory and Practice of Logic Programming
Fecha: Julio 2013
Volumen: 13
Materias:
Escuela: E.T.S. de Ingenieros Informáticos (UPM)
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

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

Resumen

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.

Más información

ID de Registro: 29548
Identificador DC: http://oa.upm.es/29548/
Identificador OAI: oai:oa.upm.es:29548
URL Oficial: http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=13&seriesId=0&issueId=4-5
Depositado por: Memoria Investigacion
Depositado el: 25 Jul 2014 11:15
Ultima Modificación: 23 Nov 2017 10:28
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM