Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and López García, Pedro (2010). Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. "New generation computing", v. 28 (n. 2); pp. 117-206. ISSN 0288-3635. https://doi.org/10.1007/s00354-008-0085-1.

Description

Title: Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Author/s:
Item Type: Article
Título de Revista/Publicación: New generation computing
Date: 2010
ISSN: 0288-3635
Volume: 28
Subjects:
Freetext Keywords: Determinacy Inference and Checking, Types, Program Analysis, Debugging, Optimization
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of HERME_A_2010-2.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

We propose an analysis for detecting procedures and goals
that are deterministic (i.e., that produce at most one solution at most once),or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic.
The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms,for which we give a complete satisfiability testing algorithm, w.r.t. available type information. Information about determinacy can be used for program debugging and optimization, resource consumption and granularity control,
abstraction carrying code, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.

Funding Projects

Type
Code
Acronym
Leader
Title
FP7
215483
S-CUBE
Unspecified
Software Services and Systems Network

More information

Item ID: 13285
DC Identifier: https://oa.upm.es/13285/
OAI Identifier: oai:oa.upm.es:13285
DOI: 10.1007/s00354-008-0085-1
Official URL: http://www.springerlink.com/content/27613767171122...
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 25 Sep 2012 08:20
Last Modified: 04 Nov 2014 11:37
  • 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