Transforming Normal Programs by Replacement

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (1992) Transforming Normal Programs by Replacement. In: 3rd International Workshop on Meta Programming in Logic, META 1992, June 10-12, 1992, Uppsala, Sweden.

Preview

PDF
804Kb

Abstract:	The replacement transformation operation, already defined in [28], 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.
Item Type:	Conference or Workshop Item
Copyright:	© 1992 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Distributed and Embedded Systems (DIES)
Link to this item:	http://purl.utwente.nl/publications/56285
Official URL:	http://dx.doi.org/10.1007/3-540-56282-6_18
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page