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

Bueno Carrillo, Francisco; Hermenegildo, Manuel V. y 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.

Descripción

Título: Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Autor/es:
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
  • López García, Pedro
Tipo de Documento: Artículo
Título de Revista/Publicación: New generation computing
Fecha: 2010
Volumen: 28
Materias:
Palabras Clave Informales: Determinacy Inference and Checking, Types, Program Analysis, Debugging, Optimization
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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.

Proyectos asociados

TipoCódigoAcrónimoResponsableTítulo
FP7215483S-CUBESin especificarSoftware Services and Systems Network

Más información

ID de Registro: 13285
Identificador DC: http://oa.upm.es/13285/
Identificador OAI: oai:oa.upm.es:13285
Identificador DOI: 10.1007/s00354-008-0085-1
URL Oficial: http://www.springerlink.com/content/2761376717112242/
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 25 Sep 2012 08:20
Ultima Modificación: 04 Nov 2014 11:37
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM