XML stream transformer generation through program composition and dependency analysis

Science of Computer Programming

Volumn 54, Issue 2-3, 2005, Pages 257-290

  Nishimura, Susumu ^a   Nakano, Keisuke ^b  

^a KYOTO UNIVERSITY   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; DATA ACQUISITION; DATA STORAGE EQUIPMENT; ERROR ANALYSIS; MATHEMATICAL TRANSFORMATIONS; OBJECT ORIENTED PROGRAMMING; STANDARDS; TREES (MATHEMATICS);

DOCUMENT OBJECT MODEL (DOM); MEMORY EFFICIENCY; STATE TRANSITION MACHINE; XML STREAM TRANSFORMATION;

XML;

EID: 9444234470     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.07.001     Document Type: Article

References (34)

1. A.V. Aho, R. Sethi, J.D. Ullman, Compilers - Principles, Techniques, and Tools, Addison-Wesley, 1986.
2. M. Altinel, M.J. Franklin, Efficient filtering of XML documents for selective dissemination of information, in: International Conference on Very Large Databases, 2000, pp. 53-64.
3. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, 2nd edition, North-Holland, 1984.
4. J. Boyland, S.L. Graham, Composing tree attributions, in: Proceedings of the 21th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, 1994, pp. 375-388.
5. L. Correnson, E. Duris, D. Parigot, G. Roussel, Declarative program transformation: A deforestation case-study, in: Principles and Practice of Declarative Programming, LNCS, vol. 1702, Springer Verlag, 1999, pp. 360-377.
6. Y. Diao, P. Fischer, M.J. Franklin, R. To, YFilter: Efficient and scalable filtering of XML documents, in: Proc. of 18th International Conference on Data Engineering, ICDE 2002, 2002, pp. 341-342.
7. Document object model (DOM), URL http://www.w3.org/DOM/.
8. J. Engelfriet, Attribute grammars: attribute evaluation methods, in: B. Lorho (Ed.), Methods and Tools for Compiler Construction, Cambridge University Press, 1984, pp. 103-138.
9. Extensible markup language (XML), URL http://www.w3c.org/XML/.
10. A. Feng, T. Wakayama, SIMON: A grammar-based transformation system for structured documents, Electronic Publishing 6 (4) (1993) 361-372.
11. H. Ganzinger, R. Giegerich, Attribute coupled grammars, in: Proceedings of the ACM SIGPLAN'84 Symposium on Compiler Construction, SIGPLAN Notices, vol. 19, 1984, pp. 157-170.
12. T.J. Green, G. Miklau, M. Onizuka, D. Suciu, Processing XML streams with deterministic automata, in: Proc. of Database Theory ICDT 2003, LNCS, no. 2572, 2003, pp. 173-189.
13. J.E. Hopcroft, R. Motwani, J.D. Ullman, Introduction to automata theory, languages, and computation, 2nd edition, Addison-Wesley, 2001.
14. T. Johnsson, Attribute grammars as a functional programming paradigm, in: G. Kahn (Ed.), Proceedings of the Conference on Functional Programming Languages and Computer Architecture, LNCS, vol. 274, Springer Verlag, 1987, pp. 154-173.
15. D.E. Knuth, Semantics of context-free languages, Mathematical Systems Theory 2 (2) (1968) 127-145.
16. B. Ludäscher, P. Mukhopadhayn, Y. Papakonstantinou, A transducer-based XML query processor, in: Proceedings of 28th International Conference on Very Large Data Bases, 2002, pp. 227-238.
17. K. Nakano, Composing stack-attributed tree transducers, Tech. Rep. METR-2004-01, Department of Mathematical Informatics, University of Tokyo, Japan 2004.
18. K. Nakano, XTiSP: XML transformation languages intended for stream processing, URL http://xtisp.psdlab.org/.
19. K. Nakano, S. Nishimura, Deriving event-based document transformers from tree-based specifications, in: Workshop on Language Descriptions, Tools and Applications, LDTA'2001, Electronic Notes in Theoretical Computer Science, vol. 44, Elsevier Science, 2001.
20. S. Nishimura, Correctness of a higher-order removal transformation through a relational reasoning, in: Programming Language and Systems, First Asian Symposium, APLAS 2003 Proceedings, LNCS, vol. 2895, Springer Verlag, 2003, pp. 358-375. A full version is available as a preprint Kyoto-Math 2003-06 from http://www.math.kyoto-u.ac.jp/~susumu/papers/aplas03-long.ps.gz.
21. S. Nishimura, Fusion with stacks and accumulating parameters, in: Proc. of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, PEPM'04, ACM Press, 2004 (in press).
22. D. Olteanu, T. Kiesling, F. Bry, An evaluation of regular path expressions with qualifiers against XML streams, in: Proc. of 19th International Conference on Data Engineering, ICDE 2003, 2003, pp. 702-704.
23. D. Olteanu, H. Meuss, T. Furche, F. Bry, XPath: Looking forward, in: Proc. of the EDBT Workshop on XML Data Management, XMLDM, LNCS, vol. 2490, Springer Verlag, 2002, pp. 109-127.
24. SAX: The simple API for XML, URL http://www.saxproject.org/.
25. L. Segoufin, V. Viannu, Validating streaming XML documents, in: Principles of Database Systems: PODS2002, ACM Press, 2002, pp. 53-64.
26. The Caml language homepage, URL http://caml.inria.fr/.
27. The Haskell home page, URL http://www.haskell.org/.
28. J. Voigtländer, Using circular programs to deforest in accumulating parameters, in: K. Asai, W.-N. Chin (Eds.), ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, 2002, pp. 126-137.
29. J. Voigtländer, Composition of restricted macro tree transducers, Master's Thesis, Dresden University of Technology, Germany, March, 2001.
30. Xalan-Java homepage, URL http://xml.apache.org/xalan-j/.
31. Xerces2-Java homepage, URL http://xml.apache.org/xerces2-j/.
32. XML path language (XPath), URL http://www.w3c.org/TR/xpath/.
33. XQuery 1.0: An XML query language, URL http://www.w3.org/TR/xquery/.
34. K. Nakano, An implementation scheme for XML transformation languages through derivation of stream processors, in: Proc. of 2nd Asian Symposium on Programming Languages and Systems, APLAS 2004, 2004 (in press).