Publications of Alberto Pettorossi

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  1993, with author Pettorossi A., in the category IASI Research Reports (or show them all):


IASI Research Report n. 369    

Pettorossi A., Maurizio Proietti

Transformation of logic programs: foundations and techiques

ABSTRACT
We present an overview of some techniques which have been proposed for the transformation of logic programs. We consider the so-called rules + strategies' approach, and we adress the following two issues: the correctness of some basic transformation rules w.r.t. a given semantics and the use of strategies for guiding the application of the rule and improving efficiency. We will also show through some example the use and the power of the transformational approach and we will briefly illustrate its relationship to other methodologies for program development.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -