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 four very different applications: XML in Java, Java Servlets and JSP, transformations between XML and non-XML data, and XSLT.
Original language | English |
---|---|
Title of host publication | Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation |
Editors | Ganesan Ramalingam, Eelco Visser |
Number of pages | 10 |
Publisher | Association for Computing Machinery |
Publication date | 2007 |
Pages | 1-10 |
ISBN (Print) | 987-1-59593-620-2 |
DOIs | |
Publication status | Published - 2007 |
Event | Workshop on Partial Evolution and Program Manipulation. PEPM 2007 - Nice, France Duration: 15 Jan 2007 → 16 Jan 2007 Conference number: 1 |
Conference
Conference | Workshop on Partial Evolution and Program Manipulation. PEPM 2007 |
---|---|
Number | 1 |
Country/Territory | France |
City | Nice |
Period | 15/01/2007 → 16/01/2007 |
Keywords
- XML