Linear inclusion for XML regular expression types (Contributo in atti di convegno)

Type
Label
  • Linear inclusion for XML regular expression types (Contributo in atti di convegno) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1145/1645953.1645973 (literal)
Alternative label
  • Colazzo D.; Ghelli G.; Pardini L.; Sartiani C. (2009)
    Linear inclusion for XML regular expression types
    in CIKM 2009, Hong Kong
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Colazzo D.; Ghelli G.; Pardini L.; Sartiani C. (literal)
Pagina inizio
  • 137 (literal)
Pagina fine
  • 146 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.scopus.com/inward/record.url?eid=2-s2.0-74549190464&partnerID=q2rCbXpz (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-IIT, LRI, Université Paris Sud, France; Dipartimento di Informatica, Università di Pisa, Italy; DMI, Università Della Basilicata, Italy (literal)
Titolo
  • Linear inclusion for XML regular expression types (literal)
Abstract
  • Type inclusion is a fundamental operation in every type-checking compiler, but it is quite expensive for XML manipulation languages. We recently presented an inclusion checking algorithm for an expressive family of XML type languages which is polynomial, but runs in quadratic time both in the best and in the worst cases. We present here an algorithm that has a linear-time backbone, and resorts to the quadratic approach for some specific parts of the compared types. Our experiments show that the new algorithm typically runs in linear time, hence can be used as a building block for a practical type-checking compiler. Copyright 2009 ACM. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it