The Replacement Operation for CCP Programs

Marco Bertolino; Annalisa Bossi; Sandro Etalle; Catuscia Palamidessi

The Replacement Operation for CCP Programs

Marco Bertolino, Annalisa Bossi (Editor), Sandro Etalle, Catuscia Palamidessi

Research output: Contribution to conference › Paper › peer-review

4 Citations (Scopus)

157 Downloads (Pure)

Abstract

The Replacement is a very powerful transformation operation which - both within the functional paradigm as well as within the logic programming one - can micic 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 show that, under these conditions, the replacement generalizes both the unfolding operation as well as a restricted form of folding operation.

Original language	Undefined
Pages	216-233
Number of pages	18
Publication status	Published - 2000
Event	9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR) - Venezia, Italy Duration: 1 Jan 2000 → 1 Jan 2000

Workshop

Workshop	9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR)
Period	1/01/00 → 1/01/00

Keywords

EWI-980
IR-56159

Access to Document

bertolino00replacement

Cite this

@conference{13eae995626f4512bc984918d44276f0,

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 micic 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 show that, under these conditions, the replacement generalizes both the unfolding operation as well as a restricted form of folding operation.",

keywords = "EWI-980, IR-56159",

author = "Marco Bertolino and Annalisa Bossi and Sandro Etalle and Catuscia Palamidessi",

note = "Imported from DIES; 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR) ; Conference date: 01-01-2000 Through 01-01-2000",

year = "2000",

language = "Undefined",

pages = "216--233",

}

TY - CONF

T1 - The Replacement Operation for CCP Programs

AU - Bertolino, Marco

AU - Etalle, Sandro

AU - Palamidessi, Catuscia

A2 - Bossi, Annalisa

N1 - Imported from DIES

PY - 2000

Y1 - 2000

N2 - The Replacement is a very powerful transformation operation which - both within the functional paradigm as well as within the logic programming one - can micic 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 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 micic 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 show that, under these conditions, the replacement generalizes both the unfolding operation as well as a restricted form of folding operation.

KW - EWI-980

KW - IR-56159

M3 - Paper

SP - 216

EP - 233

T2 - 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR)

Y2 - 1 January 2000 through 1 January 2000

ER -