Some considerations on the compile-time analysis of constraint logic programs

García de la Banda, M. and Hermenegildo, Manuel V. (1991). Some considerations on the compile-time analysis of constraint logic programs. In: "Jornadas Nacionales de Programación Declarativa, PRODE'91", October 1991, Málaga, Spain.

Description

Title: Some considerations on the compile-time analysis of constraint logic programs
Author/s:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Jornadas Nacionales de Programación Declarativa, PRODE'91
Event Dates: October 1991
Event Location: Málaga, Spain
Title of Book: Actas de las Jornadas dc Programación Declarativa. (PRODE"9I)
Date: 1991
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

This paper discusses some issues which arise in the dataflow analysis of constraint logic programming (CLP) languages. The basic technique applied is that of abstract interpretation. First, some types of optimizations possible in a number of CLP systems (including efficient parallelization) are presented and the information that has to be obtained at compile-time in order to be able to implement such optimizations is considered. Two approaches are then proposed and discussed for obtaining this information for a CLP program: one based on an analysis of a CLP metainterpreter using standard Prolog analysis tools, and a second one based on direct analysis of the CLP program. For the second approach an abstract domain which approximates groundness (also referred to as "definiteness") information (i.e. constraint to a single valué) and the related abstraction functions are presented.

More information

Item ID: 14679
DC Identifier: http://oa.upm.es/14679/
OAI Identifier: oai:oa.upm.es:14679
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 22 Mar 2013 07:38
Last Modified: 21 Apr 2016 14:27
  • 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