@inproceedings{52f294ccf9e445d49cf1fa5f9b0189dd,
title = "The replacement operation for CCP programs",
abstract = "The replacement is a very powerful transformation operation which - both within the functional paradigm as well as within the logic programming one - can mimic the most common transformation operations such as unfold, fold, switching, distribution. Because of this flexibility, it can be incorrect if used without specific applicability conditions. In this paper we present applicability conditions which ensure the correctness of the replacement operation in the context of Concurrent Constraint Programs. Furthermore we show that, under these conditions, the replacement generalizes both the unfolding operation as well as a restricted form of folding operation.",
author = "Marco Bertolino and Sandro Etalle and Catuscia Palamidessi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1999 ; Conference date: 22-09-1999 Through 24-09-1999",
year = "2000",
month = jan,
day = "1",
doi = "10.1007/10720327\_13",
language = "English",
isbn = "3540676287",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "216--233",
editor = "Annalisa Bossi",
booktitle = "Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers",
}