XML graphs in program analysis
✍ Scribed by Anders Møller; Michael Schwartzbach
- Publisher
- Elsevier Science
- Year
- 2011
- Tongue
- English
- Weight
- 722 KB
- Volume
- 76
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.
✦ Synopsis
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).
📜 SIMILAR VOLUMES
stirring for 80 hours. The reaction complex was hydrolyzed by dropwise addition with vigorous stirring of 28.8 ml. of water, followed by 39.5 ml. of concentrated hydrochloric acid. The ether tiltrate was evaporated to give 10.5 Gm. of an oily semisolid. Repeated recrystallization of this residue fro