Program Specialization via Algorithmic Unfold/Fold Transformations. (Articolo in rivista)

Type
Label
  • Program Specialization via Algorithmic Unfold/Fold Transformations. (Articolo in rivista) (literal)
Anno
  • 1998-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pettorossi, A., Proietti, M. (1998)
    Program Specialization via Algorithmic Unfold/Fold Transformations.
    in ACM computing surveys (Online)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A., Proietti, M. (literal)
Pagina inizio
  • 6-es (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 30 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3es (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. Roma Tor Vergata, IASI-CNR (literal)
Titolo
  • Program Specialization via Algorithmic Unfold/Fold Transformations. (literal)
Abstract
  • We briefly analyze the relationship between partial evaluation and unfold/fold program transformation. These two techniques have some common objectives, but they have been developed according to difffferent methodologies. As a promising direction to take for the future, we propose to embed partial evaluation in the richer framework of the unfold/fold program transformation technique. We also propose the use of algorithmic strategies, that is, mechanically generated sequences of transformation rules, for obtaining high quality specialized programs in a fully automatic way. We finally indicate some features of the program specialization system that may be designed according to our proposal. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it