CLP Projection for Constraint Handling Rules

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

Description

Title: CLP Projection for Constraint Handling Rules
Author/s:
  • Haemmerlé, R.
  • López García, Pedro
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Event Dates: July 20-22, 2011
Event Location: Odense, Denmark
Title of Book: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Date: 2011
ISBN: 978-1-4503-0776-5
Subjects:
Freetext Keywords: CHR, CLP, Declarative semantics, Static analysis, Semántica declarativa, Análisis estático.
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 (975kB) | Preview

Abstract

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.

More information

Item ID: 14303
DC Identifier: http://oa.upm.es/14303/
OAI Identifier: oai:oa.upm.es:14303
Official URL: http://dl.acm.org/citation.cfm?id=2003476
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Jan 2013 08:38
Last Modified: 21 Apr 2016 13:54
  • 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