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. 369  (Previous    Next)  

Alberto Pettorossi, 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -