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.
Plan-x: Programming Language Technologies for Xml: An Acm Sigplan Workshop Colocated With Popl 2008, 2008, p. 18-27
Main Research Area:
PLAN-X 2008: ACM SIGPLAN Workshop on Programming Language Technologies for XML