The Design Space of Type Checkers for XML Transformation Languages

Anders Møller, Michael Ignatieff Schwartzbach

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

    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.
    Original languageEnglish
    Title of host publicationDatabase Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings
    Number of pages20
    PublisherSpringer
    Publication date2005
    Pages17-36
    ISBN (Print)3-540-24288-0
    DOIs
    Publication statusPublished - 2005
    EventInternational Conference on Database Theory. ICDT '05 - Edinburgh, United Kingdom
    Duration: 5 Jan 20057 Jan 2005
    Conference number: 10

    Conference

    ConferenceInternational Conference on Database Theory. ICDT '05
    Number10
    Country/TerritoryUnited Kingdom
    CityEdinburgh
    Period05/01/200507/01/2005
    SeriesLecture Notes in Computer Science
    Volume3363
    ISSN0302-9743

    Fingerprint

    Dive into the research topics of 'The Design Space of Type Checkers for XML Transformation Languages'. Together they form a unique fingerprint.

    Cite this