The replacement transformation operation, already defined in , is studied wrt normal programs. We give applicability conditions able to ensure the correctness of the operation wrt Fitting's and Kunen's semantics. We show how replacement can mimic other transformation operations such as thinning, fattening and folding, thus producing applicability conditions for them too. Furthermore we characterize a transformation sequence for which the preservation of Fitting's and Kunen's semantics is ensured.
|Number of pages||15|
|Publication status||Published - 1992|
|Event||3rd International Workshop on Meta Programming in Logic, META 1992 - Uppsala, Sweden|
Duration: 10 Jun 1992 → 12 Jun 1992
|Workshop||3rd International Workshop on Meta Programming in Logic, META 1992|
|Period||10/06/92 → 12/06/92|
|Other||June 10-12, 1992|