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


Alberto Pettorossi

A note on Cohen's paper: eliminating redundant recursive calls.

ABSTRACT
In [1] pag. 289 the following fact is stated: "the computation of f(x_0) under interpretation In requires at least n+1 locations". That statement is crucial for the results presented in [1], because it asserts the need of the dynamic allocation of partial results in computing f(x_0). We show that the proof given in [1] is not correct, and we provide a correct version for it.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -