Publications of Maurizio Proietti

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Proietti M., in the category IASI Research Reports (or show them all):


IASI Research Report n. 322  (Previous    Next)


Maurizio Proietti, Alberto Pettorossi

The use of strategies for partial deduction and logic program development.

ABSTRACT
We present a program transformation methodology which is based on the invention of the so-called eureka definitions necessary for improving program efficiency. We propose a strategy, called loop absorption, for the automatic generation of those definitions in the case of definite logic programs, and we show its use for partial deduction. The problem of finding the eureka definitions is formalized as the search for suitable trees of clauses, called foldable U-trees, which are derived by unfolding the initial programs. It is possible, in general, to construct foldable U-trees if one uses the generalization rule. This rule should be applied with parsimony, because it may reduce the efficiency of the derived programs. For overcoming this inconvenience we propose a generalization strategy. We also study the properties of that strategy together with loop absorption, and we show that some techniques for partial deduction correspond to particular ways of applying our program derivation methodology.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -