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

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

Descripción

Título: Some considerations on the compile-time analysis of constraint logic programs
Autor/es:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Jornadas Nacionales de Programación Declarativa, PRODE'91
Fechas del Evento: October 1991
Lugar del Evento: Málaga, Spain
Título del Libro: Actas de las Jornadas dc Programación Declarativa. (PRODE"9I)
Fecha: 1991
Materias:
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

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.

Más información

ID de Registro: 14679
Identificador DC: http://oa.upm.es/14679/
Identificador OAI: oai:oa.upm.es:14679
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 22 Mar 2013 07:38
Ultima Modificación: 21 Abr 2016 14:27
  • 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