XML Graphs in Program Analysis

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Department of Computer Science
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).
Original languageEnglish
JournalScience of Computer Programming
Volume76
Issue6
Pages (from-to)492-515
Number of pages24
ISSN0167-6423
DOIs
Publication statusPublished - 2011

See relations at Aarhus University Citationformats

ID: 18335843