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

---

IASI Research Report n. 491    

Renault S., Alberto Pettorossi, Maurizio Proietti

Design, implementation, and use of the MAP transformation system

ABSTRACT

The MAP transformation system is a tool which supports the interactive derivation of logic programs using the unfold/fold transformation methodology. A derivation consists of a sequence of applications of some predefined transformation rules, starting from a given initial program. When a rule is invoked, if the conditions of its application are satisfied, the system transforms the current program into a new program. Such transformation steps may be performed interactively, in a sequence, until a final program is derived. The system provides a graphical user interface through which the transformation rules are applied by means of mouse clicks, button presses, menu selections, and dialog boxes. MAP also provides the user with many facilities for controlling and documenting program derivations, such as exploring alternative derivations, printing, saving, and restoring derivations.