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., Alberto Pettorossi: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
  • Alberto Pettorossi: 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
  • Alberto Pettorossi: 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
  • Alberto Pettorossi: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984
  • Alberto Pettorossi: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
  • Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
  • Alberto Pettorossi, Skowron A.: Higher Order Communications for Concurrent Programming, Parallel Computing 1 (3/4), 331-336, 1984
  • Alberto Pettorossi, Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -