Sharing, freeness, linearity, redundancy, widenings, and cliques

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.

Description

Title: Sharing, freeness, linearity, redundancy, widenings, and cliques
Author/s:
  • Bueno Carrillo, Francisco
  • Navas, J.
  • Hermenegildo, Manuel V.
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

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14746
DC Identifier: http://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
  • 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