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  1984, with author Pettorossi A., in the category ALL (or show them all):   (Items found: 8)


1984  [top]
  • Labella A., Pettorossi A.: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
  • Pettorossi A.: An Algorithm for Saving Memory in Recursive Programs Using Destructive Annotations, in: Computer Program Synthesis Methodologies, Biermann , Guiho , Kodratoff eds., Macmillan Co. New York, 289-303, 1984
  • Pettorossi A.: A powerful strategy for deriving efficient programs by transformation, in the Proceedings of ACM Symposium on Lisp and Functional Programming, ACM Press, 273-281, 1984
  • Pettorossi A.: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984
  • Pettorossi A.: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
  • Pettorossi A.: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
  • Pettorossi A., Skowron A.: Higher Order Communications for Concurrent Programming, Parallel Computing 1 (3/4), 331-336, 1984
  • Pettorossi A., Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -