A study of set-sharing analysis via cliques

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

Description

Title: A study of set-sharing analysis via cliques
Author/s:
  • Navas, J.
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 15th International Workshop on Logic Programming Environments (WLPE 2005)
Event Dates: October 2-5, 2005
Event Location: Sitges, Spain
Title of Book: Proceedings of the 15th International Workshop on Logic Programming Environments
Date: October 2005
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 (831kB) | Preview

Abstract

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.

More information

Item ID: 14609
DC Identifier: http://oa.upm.es/14609/
OAI Identifier: oai:oa.upm.es:14609
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 09 Mar 2013 23:40
Last Modified: 21 Apr 2016 14:21
  • 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