Type-based optimization for regular patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3774 LNCS, Issue , 2005, Pages 184-198

  Levin, Michael Y ^a   Pierce, Benjamin C ^b  

^a MICROSOFT   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFORMATION RETRIEVAL; PROGRAM COMPILERS; PROGRAM PROCESSORS; SEMANTICS; XML;

FUNDAMENTAL ANALYSIS; OPTIMALITY CRITERION; PRAGMATIC ALGORITHM; SEMANTIC COMPILATION;

PATTERN MATCHING;

EID: 33745396009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11601524_12     Document Type: Conference Paper

References (15)

1. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden, pages 51-63, 2003.
2. S. Flesca, F. Furfaro, and E. Masciari, On the minimization of xpath queries. In VLDB, pages 153-164, 2003.
3. A. Fokoue. Improving the performance of XPath query engines on large collections of XML data, 2002.
4. A. Frisch. Regular tree language recognition with static information. In Workshop on Programming Language Technologies for XML (PLAN-X), Jan. 2004.
5. A. Frisch. Théorie, conception et réalisation d'un langage adapté á XML. PhD thesis, Ecole Normale Supérieure, Paris, Paris, France, 2004.
6. V. Gapeyev, M. Y. Levin, B. C. Pierce, and A. Schmitt. XML goes native: Run-time representations for Xtatic. In 14th International Conference on Compiler Construction, Apr. 2005.
7. V. Gapeyev, M. Y. Levin, B. C. Pierce, and A. Schmitt. The Xtatic experience. In Workshop on Programming Language Technologies for XML (PLAN-X), Jan. 2005. University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004.
8. P. Genevès and J.-Y. Vion-Dury. Logic-based XPath optimization. In International ACM Symposium on Document Engineering, 2004.
9. G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing xpath queries. In VLDB, pages 95-106, 2002.
10. G. Gottlob, C. Koch, and R. Pichler. XPath query evaluation: Improving time and space efficiency, 2003.
11. H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, May 2003.
12. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(1):46-90, Jan. 2005. Preliminary version in ICFP 2000.
13. M. Y. Levin. Compiling regular patterns. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Uppsala, Sweden, 2003.
14. M. Y. Levin and B. C. Pierce. Type-based optimization for regular patterns. Technical Report MS-CIS-05-13, University of Pennsylvania, June 2005.
15. P. T. Wood. Minimising simple xpath expressions. In WebDB, pages 13-18, 2001.