XML graphs in program analysis |
| |
Authors: | Anders Mø ller,Michael Schwartzbach |
| |
Affiliation: | Department of Computer Science, Aarhus University, Aabogade 34, 8200 Aarhus N, Denmark |
| |
Abstract: | 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). |
| |
Keywords: | XML programming XML validity Type checking |
本文献已被 ScienceDirect 等数据库收录! |
|