XML Graphs in Program Analysis

Anders Møller and Michael I. Schwartzbach


XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation of XML graphs against different XML schema languages, and provide a software package that enables others to make use of these ideas. We also survey the use of XML graphs for program analysis with four very different languages: XACT (XML in Java), Java Servlets (Web application programming), XSugar (transformations between XML and non-XML data), and XSLT (stylesheets for transforming XML documents).

[PDF (journal version, draft) | PDF (conference version) | BibTeX]

© 2007 ACM / 2011 Elsevier Science.