XDuce
Top Cited Papers
- 1 May 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Internet Technology
- Vol. 3 (2) , 117-148
- https://doi.org/10.1145/767193.767195
Abstract
XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so-called regular expression types ) directly correspond to document schemas. XDuce also provides a flexible form of regular expression pattern matching , integrating conditional branching, tag checking, and subtree extraction, as well as dynamic typechecking. We survey the principles of XDuce's design, develop examples illustrating its key features, describe its foundations in the theory of regular tree automata, and present a complete formal definition of its core, along with a proof of type safety.Keywords
This publication has 9 references indexed in Scilit:
- The projectACM Transactions on Internet Technology, 2002
- Static Analysis for Dynamic XMLBRICS Report Series, 2002
- A typed representation for HTML and XML documents in HaskellJournal of Functional Programming, 2002
- A Query Language Based on the Ambient LogicPublished by Springer Nature ,2001
- DSDPublished by Association for Computing Machinery (ACM) ,2000
- Locating Matches of Tree Patterns in ForestsPublished by Springer Nature ,1998
- The Lorel query language for semistructured dataInternational Journal on Digital Libraries, 1997
- Regular expressions into finite automataTheoretical Computer Science, 1993
- Deciding Equivalence of Finite Tree AutomataSIAM Journal on Computing, 1990