On Safe Folding


Share/Save/Bookmark

Bossi, Annalisa and Cocco, Nicoletta and Etalle, Sandro (1993) On Safe Folding. In: 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1992, August 26-28, 1992, Leuven, Belgique (pp. pp. 172-186).

open access
[img]
Preview
PDF
854kB
Abstract:In [3] a general fold operation has been introduced for definite programs wrt computed answer substitution semantics. It differs from the fold operation defined by Tamaki and Sato in [26,25] because its application does not depend on the transformation history. This paper extends the results in [3] by giving a more powerful sufficient condition for the preservation of computed answer substitutions. Such a condition is meant to deal with the critical case when the atom introduced by folding depends on the clause to which the fold applies. The condition compares the dependency degree between the fonding atom and the folded clause, with the semantic delay between the folding atom and the ones to be folded. The result is also extended to a more general replacement operation, by showing that it can be decomposed into a sequence of definition, general folding and unfolding operations.
Item Type:Conference or Workshop Item
Copyright:© 1992 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/56284
Official URL:http://dx.doi.org/10.1007/3-540-55844-6_94
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page