Macro forest transducers

Information Processing Letters

Volumn 89, Issue 3, 2004, Pages 141-149

  Perst, Thomas ^a   Seidl, Helmut ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Formal languages; Inverse type inference; Macro tree transducers; XML

Indexed keywords

BINARY CODES; COMPUTER SIMULATION; DATA REDUCTION; FORMAL LANGUAGES; TREES (MATHEMATICS);

MACRO TREE TRANSDUCERS; PARSERS;

XML;

EID: 0347985113     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2003.05.001     Document Type: Article

References (23)

1. Berlea A., Seidl H. Fxt - a transformation language for XML documents. J. Comput. Inform. Technology. 10:(1):2002;19-35.
2. Clark J., Murata M., et al. RelaxNG specification, OASIS, Available online http://www.oasis-open.org/committees/relax-ng.
3. Engelfriet J. Some open questions and recent results on tree transducers and tree languages. Book R.V. Formal Language Theory Perspectives and Open Problems. 1980;241-286 Academic Press, New York.
4. Engelfriet J., Maneth S. A comparison of pebble tree transducers with macro tree transducers. Acta Informatica. 39:2003;613-698.
5. Engelfriet J., Vogler H. Macro tree transducers. J. Comput. System Sci. 31:1985;71-146.
6. M.J. Fischer, Grammars with macro-like productions, PhD thesis, Harvard University, Cambridge, MA, 1968.
7. Fülöp Z., Vogler H. Syntax-Directed Semantics; Formal Models Based on Tree Transducers. 1998;Springer-Verlag, Berlin.
8. Hosoya H., Pierce B.C. XDuce: A typed XML processing language. The World Wide Web and Databases (WebDB). Selected Papers. Lecture Notes in Comput. Sci. Vol. 1997:2001;226-244 Springer-Verlag, Berlin.
9. Maneth S. The complexity of compositions of deterministic tree transducers. Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Lecture Notes in Comput. Sci. Vol. 2556:2002;265-276 Springer-Verlag, Berlin.
10. Maneth S., Neven F. Structured document transformations based on XSL. 7th Internat. Workshop on Database Programming Languages (DBPL). Lecture Notes in Comput. Sci. Vol. 1949:1999;80-98 Springer-Verlag, Berlin.
11. Martens W., Neven F. Typechecking top-down uniform unranked tree transducers. ICDT 2003. Lecture Notes in Comput. Sci. Vol. 2572:2002;64-78 Springer-Verlag, Berlin.
12. Milo T., Suciu D., Vianu V. Typechecking for XML transformers. 19th ACM Symp. on Principles of Database Systems (PODS). 2000;11-22.
13. Milo T., Suciu D., Vianu V. Typechecking for XML transformers. J. Comput. System Sci. 66:2003;688-727.
14. Murata M. Extended path expressions for XML. 20th ACM Symp. on Principles of Database Systems (PODS). 2001;153-166.
15. A. Neumann, Parsing and querying XML documents in SML, PhD thesis, Universität Trier, 1999.
16. Perst T., Seidl H. A type-safe macro system for XML. Proc. of Extreme Markup Languages 2002, Montréal, Quebec. 2002;. Available online http://www.idealliance.org/papers/extreme02/.
17. Suciu D. Semistructured data and XML. Internat. Conf. on Foundations of Data Organization (FODO). 1998.
18. Suciu D. The XML typechecking problem. SIGMOD Record. 31:(1):2002;89-96.
19. Tozawa A. Towards static type inference for XSLT. ACM Symp. on Document Engineering. 2001;18-27.
20. Vianu V. A Web odyssey: from Codd to XML. ACM Symp. on Principles of Database Systems (PODS). 2001;1-15.
21. W3C, XSL Transformations (XSLT), 16 November 1999; Available online http://www.w3.org/TR/xslt.
22. W3C, Extensible Markup Language (XML) 1.0, 2nd edn., 6 October 2000; Available online http://www.w3.org/TR/2000/REC-xml-20001006.
23. W3C, XML schema, 2 May 2001; Available online http://www.w3.org/TR/xmlschema-0/.