The replacement operation for CCP programs

Marco Bertolino; Sandro Etalle; Catuscia Palamidessi

doi:10.1007/10720327_13

The replacement operation for CCP programs

Marco Bertolino
, Sandro Etalle
, Catuscia Palamidessi

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers
rédacteurs en chef	Annalisa Bossi
Editeur	Springer Verlag
Pages	216-233
Nombre de pages	18
ISBN (imprimé)	3540676287, 9783540676287
Les DOIs	https://doi.org/10.1007/10720327_13
état	Publié - 1 janv. 2000
Modification externe	Oui
Evénement	9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1999 - Venice, Italie Durée: 22 sept. 1999 → 24 sept. 1999

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1817
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1999
Pays/Territoire	Italie
La ville	Venice
période	22/09/99 → 24/09/99

Accès au document

10.1007/10720327_13

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Bertolino, M., Etalle, S., & Palamidessi, C. (2000). The replacement operation for CCP programs. Dans A. Bossi (Ed.), Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers (p. 216-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1817). Springer Verlag. https://doi.org/10.1007/10720327_13

Bertolino, Marco ; Etalle, Sandro ; Palamidessi, Catuscia. / The replacement operation for CCP programs. Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers. Editeur / Annalisa Bossi. Springer Verlag, 2000. p. 216-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

Bertolino, M, Etalle, S & Palamidessi, C 2000, The replacement operation for CCP programs. Dans A Bossi (Ed.), Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 1817, Springer Verlag, p. 216-233, 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1999, Venice, Italie, 22/09/99. https://doi.org/10.1007/10720327_13

The replacement operation for CCP programs. / Bertolino, Marco; Etalle, Sandro; Palamidessi, Catuscia.
Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers. Ed. / Annalisa Bossi. Springer Verlag, 2000. p. 216-233 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1817).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - The replacement operation for CCP programs

AU - Bertolino, Marco

AU - Etalle, Sandro

AU - Palamidessi, Catuscia

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2000.

PY - 2000/1/1

Y1 - 2000/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/23044518635

U2 - 10.1007/10720327_13

DO - 10.1007/10720327_13

M3 - Conference contribution

AN - SCOPUS:23044518635

SN - 3540676287

SN - 9783540676287

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 216

EP - 233

BT - Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers

A2 - Bossi, Annalisa

PB - Springer Verlag

T2 - 9th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1999

Y2 - 22 September 1999 through 24 September 1999

ER -

Bertolino M, Etalle S, Palamidessi C. The replacement operation for CCP programs. Dans Bossi A, Editeur, Logic-Based Program Synthesis and Transformation - 9th International Workshop, LOPSTR 1999, Selected Papers. Springer Verlag. 2000. p. 216-233. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/10720327_13

The replacement operation for CCP programs

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation