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.
|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||9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR)|
|Period||1/01/00 → 1/01/00|