Open AccessStatic Analysis for Event-Based XML Processing
Author(s) -
Anders Møller
Publication year - 2006
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v13i16.21921
Subject(s) - computer science , event (particle physics) , xml , streaming xml , programming language , efficient xml interchange , xml signature , xml framework , xml validation , simple api for xml , complex event processing , database , xml database , xml schema (w3c) , operating system , physics , process (computing) , quantum mechanics
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 particularly superior when processing large XML documents in a streaming fashion with minimal memory consumption. This paper discusses challenges and presents some considerations for creating program analyses for SAX applications. In particular, we consider the problem of statically guaranteeing that a given SAX application always produces only well-formed and valid XML output.