The Replacement Operation for CCP Programs


Bertolino, Marco and Etalle, Sandro and Palamidessi, Catuscia (2000) The Replacement Operation for CCP Programs. In: 9th International Workshop on Logic Program Synthesis and Transformation, LOPSTR, September 22-24, 1999, Venezia, Italy (pp. pp. 216-233).

open access
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.
Item Type:Conference or Workshop Item
Copyright:© 2000 Springer
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page