The Replacement Operation for CCP Programs

Marco Bertolino; Sandro Etalle; Catuscia Palamidessi

The Replacement Operation for CCP Programs

Marco Bertolino, Sandro Etalle, Catuscia Palamidessi

Research output: Contribution to conference › Paper

80 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	441-454
Publication status	Published - 1999
Event	Joint Conference on Declarative Programming, AGP - L'Aquila, Italy Duration: 6 Sep 1999 → 9 Sep 1999

Conference

Conference	Joint Conference on Declarative Programming, AGP
Period	6/09/99 → 9/09/99
Other	September 6-9, 1999

Keywords

IR-56187

Access to Document

bertolino00replacement

Cite this

@conference{55f5ce49405a4ef78ebcc57affff9417,

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 = "IR-56187",

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

year = "1999",

language = "Undefined",

pages = "441--454",

note = "null ; Conference date: 06-09-1999 Through 09-09-1999",

}

TY - CONF

T1 - The Replacement Operation for CCP Programs

AU - Bertolino, Marco

AU - Etalle, Sandro

AU - Palamidessi, Catuscia

PY - 1999

Y1 - 1999

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 - IR-56187

M3 - Paper

SP - 441

EP - 454

Y2 - 6 September 1999 through 9 September 1999

ER -