Determinacy analysis for logic programs using mode and type information

López García, Pedro; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2005). Determinacy analysis for logic programs using mode and type information. En: "14th International Symposium, LOPSTR 2004", August 26-28, 2004, Verona, Italy. ISBN 9783540266556.

Descripción

Título: Determinacy analysis for logic programs using mode and type information
Autor/es:
  • López García, Pedro
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 14th International Symposium, LOPSTR 2004
Fechas del Evento: August 26-28, 2004
Lugar del Evento: Verona, Italy
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 2005
ISBN: 9783540266556
Volumen: 3573
Materias:
Palabras Clave Informales: Determinacy inference, Program analysis, Modes, Types, Análisis de programas, Modos, Tipos.
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 (952kB) | Vista Previa

Resumen

We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), 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 (because they cali other predicates that can produce more than one solution). Applications of such determinacy information include detecting programming errors, performing certain high-level program transformations for improving search efñciency, optimizing low level code generation and parallel execution, and estimating tighter upper bounds on the computational costs of goals and data sizes, which can be used for program debugging, resource consumption and granularity control, 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 efncient.

Más información

ID de Registro: 14362
Identificador DC: http://oa.upm.es/14362/
Identificador OAI: oai:oa.upm.es:14362
URL Oficial: http://link.springer.com/chapter/10.1007%2F11506676_2
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 27 Ene 2013 06:57
Ultima Modificación: 21 Abr 2016 13:59
  • 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