The Design Space of Type Checkers for XML Transformation Languages

Anders Møller, Michael Ignatieff Schwartzbach

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

    Abstract

    We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD to full-blown XML Schema or even more expressive formalisms. The notion of transformation may vary from clean and simple transductions to domain-specific languages or integration of XML in general-purpose programming languages. Type annotations can be either explicit or implicit, and type checking ranges from exact decidability to pragmatic approximations. We characterize and evaluate existing tools in this design space, including a recent result of the authors providing practical type checking of full unannotated XSLT 1.0 stylesheets given general DTDs that describe the input and output languages.
    OriginalsprogEngelsk
    TitelDatabase Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings
    Antal sider20
    ForlagSpringer
    Publikationsdato2005
    Sider17-36
    ISBN (Trykt)3-540-24288-0
    DOI
    StatusUdgivet - 2005
    BegivenhedInternational Conference on Database Theory. ICDT '05 - Edinburgh, Storbritannien
    Varighed: 5 jan. 20057 jan. 2005
    Konferencens nummer: 10

    Konference

    KonferenceInternational Conference on Database Theory. ICDT '05
    Nummer10
    Land/OmrådeStorbritannien
    ByEdinburgh
    Periode05/01/200507/01/2005
    NavnLecture Notes in Computer Science
    Vol/bind3363
    ISSN0302-9743

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'The Design Space of Type Checkers for XML Transformation Languages'. Sammen danner de et unikt fingeraftryk.

    Citationsformater