More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics


Share/Save/Bookmark

Bossi, Annalisa and Etalle, Sandro (1994) More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. In: 4th International Workshop on Meta Programming in Logic, META '94, June 20-21, 1994, Pisa, Italy.

[img]
Preview
PDF
1001Kb
Abstract:The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least Herbrand model semantics and the Computed Answer Substitution semantics. Seki extended the method to normal programs and specialized it in order to preserve also the finite failure set. The resulting system is correct wrt nearly all the declarative semantics for normal programs. An exception is Fitting's model semantics. In this paper we consider a slight variation of Seki's method and we study its correctness wrt Fitting's semantics. We define an applicability condition for the fold operation and we show that it ensures the preservation of the considered semantics through the transformation.
Item Type:Conference or Workshop Item
Copyright:© 1994 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56280
Official URL:http://dx.doi.org/10.1007/3-540-58792-6_20
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page