License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05161.7
URN: urn:nbn:de:0030-drops-4225
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/422/
Go to the corresponding Portal

Pettorossi, Alberto ; Proietti, Maurizio ; Senni, Valerio

Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs

pdf-format:
05161.PettorossiAlberto.ExtAbstract.422.pdf (0.10 MB)

Abstract

In the literature there are various papers which illustrate the relationship between the unfold/fold program transformation techniques and the proofs of program properties both in the case of logic programs and in the case of functional programs.In this paper we illustrate that relationship in the case of constraint logic programs. We build up on results already presented, i.e.,where we have considered logic programs with locally stratified negation.
The constraint logic programming paradigm significantly extends the logic-programming paradigm by allowing some of the atoms to denote constraints in a suitably chosen constraint domain. By using those constraints it is often possible to get simple and direct formulations of problem solutions.

BibTeX - Entry

@InProceedings{pettorossi_et_al:DagSemProc.05161.7,
  author =	{Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio},
  title =	{{Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs}},
  booktitle =	{Transformation Techniques in Software Engineering},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5161},
  editor =	{James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/422},
  URN =		{urn:nbn:de:0030-drops-4225},
  doi =		{10.4230/DagSemProc.05161.7},
  annote =	{Keywords: Program properties, unfold/fold transformation, constraint logic programming}
}

Keywords: Program properties, unfold/fold transformation, constraint logic programming
Collection: 05161 - Transformation Techniques in Software Engineering
Issue Date: 2006
Date of publication: 07.03.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI