Static Analysis for Event-Based XML Processing

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

  • Department of Computer Science

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 year2008
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
Nummer6
LandUnited States
BySan Francisco, CA
Periode09/01/2008 → …

See relations at Aarhus University Citationformats

ID: 10395566