Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (831kB) | Preview |
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.
Title: | A study of set-sharing analysis via cliques |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (831kB) | Preview |
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.
Item ID: | 14609 |
---|---|
DC Identifier: | https://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 |