@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID235780 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID235780 . @prefix rdf: . prodotto:ID235780 rdf:type prodotto:TIPO1101 . @prefix retescientifica: . prodotto:ID235780 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID235780 rdfs:label "Program Specialization via Algorithmic Unfold/Fold Transformations. (Articolo in rivista)"@en . @prefix xsd: . prodotto:ID235780 pubblicazioni:anno "1998-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID235780 skos:altLabel "
Pettorossi, A., Proietti, M. (1998)
Program Specialization via Algorithmic Unfold/Fold Transformations.
in ACM computing surveys (Online)
"^^rdf:HTML ; pubblicazioni:autori "Pettorossi, A., Proietti, M."^^xsd:string ; pubblicazioni:paginaInizio "6-es"^^xsd:string ; pubblicazioni:numeroVolume "30"^^xsd:string . @prefix ns10: . prodotto:ID235780 pubblicazioni:rivista ns10:ID370242 ; pubblicazioni:numeroFascicolo "3es"^^xsd:string ; skos:note "ISI Web of Science (WOS)"^^xsd:string ; pubblicazioni:affiliazioni "Univ. Roma Tor Vergata, IASI-CNR"^^xsd:string ; pubblicazioni:titolo "Program Specialization via Algorithmic Unfold/Fold Transformations."^^xsd:string ; prodottidellaricerca: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." ; prodottidellaricerca:prodottoDi istituto:CDS003 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 . ns10:ID370242 pubblicazioni:rivistaDi prodotto:ID235780 .