XML graphs in program analysis

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 four very different applications: XML in Java, Java Servlets and JSP, transformations between XML and non-XML data, and XSLT.

• Type: Conference
• Year: 2007
• Where: PEPM
• Authors: Anders Møller, Michael I. Schwartzbach
• Keywords: Effective Formalism, PEPM 2007, Software Engineering, XML Documents, XML Graphs