A pushdown machine for recursive XML processing

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

Volumn 4279 LNCS, Issue , 2006, Pages 340-356

  Nakano, Keisuke ^a   Mu, Shin Cheng ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b INSTITUTE OF INFORMATION SCIENCE   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; MATHEMATICAL TRANSFORMATIONS; MULTIPROCESSING SYSTEMS; TRANSDUCERS; TREES (MATHEMATICS);

MEMORY USAGE; XML STREAM PROCESSING; XML TRANSFORMATIONS; XML TREES;

XML;

EID: 33845919052     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11924661_21     Document Type: Conference Paper

References (34)

1. M. Altinel and M. J. Franklin. Efficient filtering of XML documents for selective dissemination of information. International Journal on Very Large Data Bases, pages 53-64, 2000.
2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the 8th International Conference of Functional Programming, pages 51-63, 2003.
3. A. Berlea and H. Seidl. fxt - a transformation language for XML documents. Journal of Computing and Information Technology, 10(1):19-35, 2002.
4. P. Cimprich, O. Becker, C. Nentwich, M. K. H. Jiroušek, P. Brown, M. Batsis, T. Kaiser, P. Hlavnička, N. Matsakis, C. Dolph, and N. Wiechmann. Streaming transformations for XML (STX) version 1.0. http://stx.sotixceforge.net/.
5. Y. Diao and M. J. Franklin. High-performance XML filtering: An overview of YFilter. In IEEE Data Engineering Bulletin, volume 26(1), pages 41-48, 2003.
6. J. Engelfriet and H. Vogler. Macro tree transducers. Journal of Computer and System Sciences, 31(1):71-146, 1985.
7. The Glasgow Haskell Compiler, http://www.haskell.org/ghc/.
8. T. J. Green, A. Gupta, G. Miklau, M. Onizuka, and D. Suciu. Processing XML streams with deterministic automata and stream indexes. ACM Transactions on Database Systems, 29(4):752-788, 2004.
9. A. K. Gupta and D. Suciu. Stream processing of XPath queries with predicates. In Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pages 419-430, 2003.
10. H. Hosoya and B. C. Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 13(6):961-1004, Novermber 2003.
11. H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, 2003.
12. S. P. Jones. Space usage. Glasgow Haskell Users Mailing List, http://www.haskell.org/pipermail/glasgow-haskell-users/2004-August/007023.html, 17th August 2004.
13. M. Kay. SAXON: The XSLT and XQuery processor, http://saxon.sourceforge, net/.
14. O. Kiselyov. A better XML parser through functional programming. In 4th International Symposium on Practical Aspects of Declarative Languages, volume 2257 of Lecture Notes in Computer Science, pages 209-224, 2002.
15. K. Kodama, K. Suenaga, N. Kobayashi, and A. Yonezawa. Translation of tree-processing programs into stream-processing programs based on ordered linear type. In The 2nd ASIAN Symposium on Programming Languages and Systems, volume 3302 of Lecture Notes in Computer Science, pages 41-56, 2004.
16. B. Ludäscher, P. Mukhopadhyay, and Y. Papakonstantinou. A transducer-based XML query processor. In Proceedings of 28th International Conference on Very Large Data Bases, pages 227-238, 2002.
17. S. Maneth, A. Berlea, T. Perst, and H. Seidl. XML type checking with macro tree transducers. In Proceedings of 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 283-294, 2005.
18. M. Murata. Extended path expressions of XML. In Proceedings of the 20th ACM Symp. on Principles of Database Systems, pages 153-166, 2001.
19. K. Nakano. XTiSP: XML transformation language intended for stream processing, http://xtisp.org/.
20. K. Nakano. Composing stack-attributed transducers. Technical Report METR-2004-01, Department of Mathematical Informatics, University of Tokyo, 2004.
21. K. Nakano. An implementation scheme for XML transformation lauguages through derivation of stream processors. In The 2nd ASIAN Symposium on Programming Languages and Systems, volume 3302 of Lecture Notes in Computer Science, pages 74-90, 2004.
22. K. Nakano and S.-C. Mu. A pushdown machine for recursive XML processing (full version). http://www.ipl.t.u-tokyo.ac.jp/~ksk/en/?Publication.
23. The nhc98 compiler, http://www.haskell.org/nhc98/.
24. S. Nishimura. Fusion with stacks and accumulating prameters. In the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pages 101-112, 2004.
25. S. Nishimura and K. Nakano. XML stream transformer generation through program composition and dependency analysis. Science of Computer Programming, 54:257-290, 2005.
26. T. Perst and H. Seidl. Macro forest transducers. Information Processing Letters, 89:141-149, 2004.
27. S. Scherzinger and A. Kemper. Syntax-directed transformations of XML streams. In Workshop on Programming Language Technologies for XML, pages 75-86, 2005.
28. K. Suenaga, N. Kobayashi, and A. Yonezawa. Extension of type-based approach to generation of stream processing programs by automatic insertion of buffering primitives. In International workshop on Logic-based Program Synthesis and Transformation, 2005. To appear.
29. P. Wadler. Fixing a space leak with a garbage collector. Software Practice and Experience, 17(9):595-608, September 1987.
30. P. Wadler. Deforestation: Transforming programs to eliminate trees. In Proceedings of the European Symposium on Programming, volume 300 of Lecture Notes in Computer Science, pages 344-358, 1988.
31. libxslt: the XSLT C library for Gnome. http://xmlsoft.org/XSLT/.
32. SAX: the simple API for XML. http://www.saxproject.org/.
33. XMark: an XML benchmark project, http://www.xml-benchmark.org/.
34. XSL transformations (XSLT). http://www.w3c.org/TR/xslt/.