Rules and Strategies for Transforming Functional and Logic Programs (Articolo in rivista)

Type
Label
  • Rules and Strategies for Transforming Functional and Logic Programs (Articolo in rivista) (literal)
Anno
  • 1996-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pettorossi, A., Proietti, M. (1996)
    Rules and Strategies for Transforming Functional and Logic Programs
    in ACM computing surveys
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A., Proietti, M. (literal)
Pagina inizio
  • 360 (literal)
Pagina fine
  • 414 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 28 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 2 (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
  • Rules and Strategies for Transforming Functional and Logic Programs (literal)
Abstract
  • We present an overview of the program transformation methodology, focusing our attention on the so-called \"rules 1 strategies\" approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples. (literal)
Prodotto di
Autore CNR

Incoming links:


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