Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista)

Type
Label
  • Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (Articolo in rivista) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/s10990-005-7008-3 (literal)
Alternative label
  • Pettorossi, A.; Proietti, M.; Renault, S. (2005)
    Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
    in Higher-order and symbolic computation (Print)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A.; Proietti, M.; Renault, S. (literal)
Pagina inizio
  • 121 (literal)
Pagina fine
  • 210 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.springerlink.com/content/g3l32nl372024p46/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 18 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 1-2 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Pettorossi, A. DISP, Università Tor Vergata, Roma (literal)
Titolo
  • Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism (literal)
Abstract
  • Program specialization is a program transformation methodology which improves program efficiency by exploiting the information about the input data which are available at compile time. We show that current techniques for program specialization based on partial evaluation do not perform well on nondeterministic logic programs. We then consider a set of transformation rules which extend the ones used for partial evaluation, and we propose a strategy for guiding the application of these extended rules so to derive very efficient specialized programs. The efficiency improvements which sometimes are exponential, are due to the reduction of nondeterminism and to the fact that the computations which are performed by the initial programs in different branches of the computation trees, are performed by the specialized programs within single branches. In order to reduce nondeterminism we also make use of mode information for guiding the unfolding process. To exemplify our technique, we show that we can automatically derive very efficient matching programs and parsers for regular languages. The derivations we have performed could not have been done by previously known partial evaluation techniques. (literal)
Prodotto di
Autore CNR

Incoming links:


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