A theory of totally correct logic program transformations (Contributo in atti di convegno)

Type
Label
  • A theory of totally correct logic program transformations (Contributo in atti di convegno) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pettorossi, A.; Proietti, M. (2004)
    A theory of totally correct logic program transformations
    in Proceedings of the 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A.; Proietti, M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • pp.159-168, series: ACM-SIGPLAN (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. Roma Tor Vergata; IASI-CNR (literal)
Titolo
  • A theory of totally correct logic program transformations (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 1-58113-835-0 (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it