XML Graphs in Program Analysis

Anders Møller; Michael I. Schwartzbach

doi:10.1016/j.scico.2009.11.007

XML Graphs in Program Analysis

Anders Møller, Michael I. Schwartzbach

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

7 Citations (Scopus)

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).

Original language	English
Journal	Science of Computer Programming
Volume	76
Issue	6
Pages (from-to)	492-515
Number of pages	24
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2009.11.007
Publication status	Published - 2011

Access to Document

10.1016/j.scico.2009.11.007

Cite this

@article{abb8da00de4d11de9e3b000ea68e967b,

title = "XML Graphs in Program Analysis",

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).",

author = "Anders M{\o}ller and Schwartzbach, {Michael I.}",

year = "2011",

doi = "10.1016/j.scico.2009.11.007",

language = "English",

volume = "76",

pages = "492--515",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "6",

}

TY - JOUR

T1 - XML Graphs in Program Analysis

AU - Møller, Anders

AU - Schwartzbach, Michael I.

PY - 2011

Y1 - 2011

N2 - 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).

AB - 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).

U2 - 10.1016/j.scico.2009.11.007

DO - 10.1016/j.scico.2009.11.007

M3 - Journal article

SN - 0167-6423

VL - 76

SP - 492

EP - 515

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 6

ER -

XML Graphs in Program Analysis

Abstract

Access to Document

Fingerprint

Cite this