CLP Projection for Constraint Handling Rules

Haemmerlé, R.; López García, Pedro y Hermenegildo, Manuel V. (2011). CLP Projection for Constraint Handling Rules. En: "13th international ACM SIGPLAN symposium on Principles and practices of declarative programming", July 20-22, 2011, Odense, Denmark. ISBN 978-1-4503-0776-5.

Descripción

Título: CLP Projection for Constraint Handling Rules
Autor/es:
  • Haemmerlé, R.
  • López García, Pedro
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Fechas del Evento: July 20-22, 2011
Lugar del Evento: Odense, Denmark
Título del Libro: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Fecha: 2011
ISBN: 978-1-4503-0776-5
Materias:
Palabras Clave Informales: CHR, CLP, Declarative semantics, Static analysis, Semántica declarativa, Análisis estático.
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 (975kB) | Vista Previa

Resumen

This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP). We show that the CLP projection provides a safe operational and declarative approximation for CHR programs. We demónstrate moreover that a confluent CHR program has a least model, which is precisely equal to the least model of its CLP projection (closing henee a ten year-old conjecture by Abdenader et al.). Finally, we illustrate how the notion of CLP projection can be used in practice to apply CLP analyzers to CHR. In particular, we show results from applying AProVE to prove termination, and CiaoPP to infer both complexity upper bounds and types for CHR programs.

Más información

ID de Registro: 14303
Identificador DC: http://oa.upm.es/14303/
Identificador OAI: oai:oa.upm.es:14303
URL Oficial: http://dl.acm.org/citation.cfm?id=2003476
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 18 Ene 2013 08:38
Ultima Modificación: 21 Abr 2016 13:54
  • 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