Determinacy analysis for logic programs using mode and type information

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

Description

Title: Determinacy analysis for logic programs using mode and type information
Author/s:
  • López García, Pedro
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 14th International Symposium, LOPSTR 2004
Event Dates: August 26-28, 2004
Event Location: Verona, Italy
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2005
ISBN: 9783540266556
Volume: 3573
Subjects:
Freetext Keywords: Determinacy inference, Program analysis, Modes, Types, Análisis de programas, Modos, Tipos.
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 (952kB) | Preview

Abstract

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.

More information

Item ID: 14362
DC Identifier: http://oa.upm.es/14362/
OAI Identifier: oai:oa.upm.es:14362
Official URL: http://link.springer.com/chapter/10.1007%2F11506676_2
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 27 Jan 2013 06:57
Last Modified: 21 Apr 2016 13:59
  • 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