The Replacement Operation for CCP Programs

Bertolino, Marco and Etalle, Sandro and Palamidessi, Catuscia (1999) The Replacement Operation for CCP Programs. In: Joint Conference on Declarative Programming, AGP, September 6-9, 1999, L'Aquila, Italy.

Preview

PDF
263Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/56187
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page