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


IASI Research Report n. 126  (Previous    Next)


Alberto Pettorossi, Skowron A.

A methodology for improving parallel programs by adding communications.

ABSTRACT
We propose a programming methodology for improving the efficiency of applicative parallel programs. The basic idea comes from the program transformation approach ? la Burstall-Darlington, in which "new and more efficient" versions of the programs are derived from "old" ones. We extend that approach in the following two respects: - we consider parallel concurrent programs, and - we provide a calculus for ensuring that the derived versions are more efficient. We consider that the programmer provides a first version of his/her program and then he/she discovers, maybe in an incremental way, some "facts" about it. Facts are then tested by the calculus and, if they are "accepted", they will be incorporated into the given version of the program via a translation algorithm, and a new version is thereby derived.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -