Abstract
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type system.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. In ICFP, 2003.
Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible markup language (XML) 1.0. In W3C Recommendation, 1998.
Alain Frisch, Giuseppe Castagna, and Véronique Benzaken. Semantic subtyping. In LICS, 2002.
Vladimir Gapeyev and Benjamin Pierce. Regular object types. In FOOL, 2003.
Haruo Hosoya. Regular expression types for XML. Ph. D thesis. The University of Tokyo, 2000.
Haruo Hosoya and Benjamin Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 2002.
Michael Levin. Compiling regular patterns. In ICFP, 2003.
Frank Neven. Automata theory for XML researchers. In SIGMOD Record, 31(3), 2002., 2002.
Andreas Neumann and Helmut Seidl. Locating matches of tree patterns in forests. In Foundations of Software Technology and Theoretical Computer Science, pages 134–145, 1998. Extended abstract available at http://www.informatik.uni-trier.de/~seidl/conferences.html.
Jerome Simeon and Philip Wadler. The essence of XML. In POPL, 2003.
Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. In W3C Recommendation, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Frisch, A. (2004). Regular Tree Language Recognition with Static Information. In: Levy, JJ., Mayr, E.W., Mitchell, J.C. (eds) Exploring New Frontiers of Theoretical Informatics. IFIP International Federation for Information Processing, vol 155. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8141-3_50
Download citation
DOI: https://doi.org/10.1007/1-4020-8141-3_50
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8140-8
Online ISBN: 978-1-4020-8141-5
eBook Packages: Springer Book Archive