𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Use of hammett graphs in stability progr
✍ J. Thurø Carstensen; E. G. Serenson; J. J. Vance 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

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