XML graphs in program analysis

Anders Møller, Michael I. Schwartzbach
2007 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07  
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
more » ... 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). .dk (A. Møller), mis@cs.au.dk (M. Schwartzbach). 1 This article is an extended version of Moller and Schwartzbach (2007) [40] with material from Kirkegaard and Moller (2005) [24].
doi:10.1145/1244381.1244383 dblp:conf/pepm/MollerS07 fatcat:a6c3ooa6wng77cqrb5qzifzdzi