Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Bueno Carrillo, Francisco and Navas, J. and Hermenegildo, Manuel V. (2005). Sharing, freeness, linearity, redundancy, widenings, and cliques. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.
Title: | Sharing, freeness, linearity, redundancy, widenings, and cliques |
---|---|
Author/s: |
|
Item Type: | Monograph (Technical Report) |
Date: | April 2005 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
We discuss here different variants of the Sharing abstract domain, including the base domain that captures set-sharing, a variant to capture pairsharing, in which redundant sharing groups (w.r.t. the pair-sharing property) can be eliminated, and an alternative representation based on cliques. The original proposal for using cliques in the non-redundant version of the domain is reviewed, then extended to the base domain. Variants of all the domains including freeness alone, and freeness together with linearity are also studied.
Item ID: | 14746 |
---|---|
DC Identifier: | https://oa.upm.es/14746/ |
OAI Identifier: | oai:oa.upm.es:14746 |
Official URL: | http://clip.dia.fi.upm.es/papers/shcliques-tr.pdf |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 05 Apr 2013 07:02 |
Last Modified: | 21 Apr 2016 14:33 |