Static Analysis for Event-Based XML Processing

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Abstract

    Event-based processing of XML data - as exemplified by the popular SAX framework - is a powerful alternative
    to using W3C's DOM or similar tree-based APIs. The event-based approach is a streaming fashion with minimal
    memory consumption.

    This paper discusses challenges for creating program analyses for SAX applications. In particular, we consider the problem of statically guaranteeing the a given SAX program always produces only well-formed and valid XML output. We propose an analysis technique based on ecisting anglyses of Servlets, string operations, and XML graphs.

    Original languageEnglish
    Title of host publicationPLAN-X: Programming Language Technologies for XML : An ACM SIGPLAN Workshop colocated with POPL 2008
    Number of pages9
    PublisherUniversität Trier
    Publication date2008
    Pages18-27
    Publication statusPublished - 2008
    EventPLAN-X 2008: ACM SIGPLAN Workshop on Programming Language Technologies for XML - San Francisco, CA, United States
    Duration: 9 Jan 2008 → …
    Conference number: 6

    Conference

    ConferencePLAN-X 2008: ACM SIGPLAN Workshop on Programming Language Technologies for XML
    Number6
    Country/TerritoryUnited States
    CitySan Francisco, CA
    Period09/01/2008 → …

    Fingerprint

    Dive into the research topics of 'Static Analysis for Event-Based XML Processing'. Together they form a unique fingerprint.

    Cite this