XML Goes Native: Run-Time Representations for Xtatic

• Published in: Compiler Construction pp. 43 - 58
• Main Authors: Gapeyev, Vladimir, Levin, Michael Y., Pierce, Benjamin C., Schmitt, Alan
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2005; Springer
• Series: Lecture Notes in Computer Science
• Subjects: Applied sciences; Computer science; control theory; systems; Concrete Syntax; Document Object Model; Exact sciences and technology; Pattern Match; Programming languages; Regular Type; Software; Very Large Data Base; Textual data; Type theory; Compiler; Coordination language; Compilation; Declarative language; Database query; XML language; Xslt; Program verification; Programming language; Static analysis; Pattern matching
• ISBN: 9783540254119; 3540254110
• ISSN: 0302-9743; 1611-3349; 1611-3349
• DOI: 10.1007/978-3-540-31985-6_4

Xtatic is a lightweight extension of C# offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the trees manipulated by programs is part of the ordinary job of the typechecker. “Tree grep” pattern matching is used to investigate and transform XML trees. Xtatic’s surface syntax and type system are tightly integrated with those of C#. Beneath the hood, however, an implementation of Xtatic must address a number of issues common to any language supporting a declarative style of XML processing (e.g., XQuery, XSLT, XDuce, CDuce, Xact, Xen, etc.). In particular, it must provide representations for XML tags, trees, and textual data that use memory efficiently, support efficient pattern matching, allow maximal sharing of common substructures, and permit separate compilation. We analyze these representation choices in detail and describe the solutions used by the Xtatic compiler.