A study of set-sharing analysis via cliques

Navas, J.; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2005). A study of set-sharing analysis via cliques. En: "15th International Workshop on Logic Programming Environments (WLPE 2005)", October 2-5, 2005, Sitges, Spain.

Descripción

Título: A study of set-sharing analysis via cliques
Autor/es:
  • Navas, J.
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 15th International Workshop on Logic Programming Environments (WLPE 2005)
Fechas del Evento: October 2-5, 2005
Lugar del Evento: Sitges, Spain
Título del Libro: Proceedings of the 15th International Workshop on Logic Programming Environments
Fecha: Octubre 2005
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
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 (831kB) | Vista Previa

Resumen

We study the problem of efñcient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing representation called a clique set, which was previously proposed for the case of inferring pair-sharing. We use the clique-set representation for (1) inferring actual set-sharing information, and (2) analysis within a topdown framework. In particular, we define the abstract functions required by standard top-down analyses, both for sharing alone and also for the case of including freeness in addition to sharing. Our experimental evaluation supports the conclusión that, for inferring set-sharing, as it was the case for inferring pair-sharing, precisión losses are limited, while useful efñciency gains are obtained. At the limit, the clique-set representation allowed analyzing some programs that exceeded memory capacity using classical sharing representations.

Más información

ID de Registro: 14609
Identificador DC: http://oa.upm.es/14609/
Identificador OAI: oai:oa.upm.es:14609
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 09 Mar 2013 23:40
Ultima Modificación: 21 Abr 2016 14:21
  • 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