BiXid: A bidirectional transformation language for XML

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn 2006, Issue , 2006, Pages 201-214

  Kawanaka, Shinya ^a   Hosoya, Haruo ^b  

^a IBM RESEARCH TOKYO   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

Tree automata; XML

Indexed keywords

APPLICATION PROGRAMS; MAINTENANCE COSTS; PATTERN VARIABLES; TRANSFORMATION LANGUAGES;

AUTOMATA THEORY; COMPUTER ARCHITECTURE; DATA STRUCTURES; LINEAR PROGRAMMING; XML;

MATHEMATICAL TRANSFORMATIONS;

EID: 34247192597     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159830     Document Type: Conference Paper

References (22)

1. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In Proceedings of the International Conference on Functional Programming (ICFP), pages 51-63, 2003.
2. R. Bourret. XML data binding resources, 2001. http://www.rpbourret.com/ xml/XMLDataBinding.htm.
3. C. Brabrand, A. Møller, and M. I. Schwartzbach. Dual syntax for XML languages. In Proc. 10th International Workshop on Database Programming Languages, DBPL '05, volume 3774 of LNCS, pages 27-41. Springer-Verlag, August 2005.
4. J. Clark. XSL Transformations (XSLT), 1999. http://www.w3.org/TR/xslt.
5. J. Clark and M. Murata. RELAX NG, 2001. http://www.relaxng.org.
6. J. Coelho and M. Florido. Type-based XML processing in logic programming. In PADL, pages 273-285, 2003.
7. ContactXML Users Group. ContactXML, 2000. http://www.contactxml.org/.
8. R. Elmasri and S. B. Navathe. Fundamentals of Database Systems, 2nd Edition. Benjamin/Cummings, 1994.
9. D. C. Fallside. XML Schema Part 0: Primer, W3C Recommendation, 2001. http://www.w3.org/TR/xmlschema-0/.
10. J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 233-246, 2005.
11. V. B. Gundersen and Z. W. Hendrikse. BibTeX as XML markup, 2005. http://bibtexml.sourceforge.net/index.html.
12. H. Hosoya. Regular expression pattern matching - a simpler design. Technical Report 1397, RIMS, Kyoto University, 2003.
13. H. Hosoya and M. Murata. Boolean operations and inclusion test for attribute-element constraints. In Eighth International Conference on Implementation and Application of Automata, volume 2759 of Lecture Notes in Computer Science, pages 201-212. Springer-Verlag, 2003.
14. H. Hosoya and B. C. Pierce. Regular expression pattern matching for XML. In The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 67-80, Jan. 2001.
15. H. Hosoya and B. C. Pierce. XDuce: A typed XML processing language. ACM Transactions on Internet Technology, 3(2): 117-148, 2003. Short version appeared in Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pp. 226-244, Springer-Verlag.
16. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems, 27(1):46-90, 2004. Short version appeared in Proceedings of the International Conference on Functional Programming (ICFP), pp. 11-22, 2000.
17. R. Iannella. Representing vCard objects in RDF/XML, 2001. http://www.w3.org/TR/vcard-rdf.
18. S.-C. Mu, Z. Hu, and M. Takeichi. An algebraic approach to bidirectional updating. In APLAS, pages 2-20, 2004.
19. M. Murata, D. Lee, and M. Mani. Taxonomy of XML schema languages using formal language theory. In Extreme Markup Languages, 2001.
20. Python XML Special Interest Group. The XML bookmark exchange language, 1998. http://pyxml.sourceforge.net/topics/xbel/.
21. L. Sterling and E. Y. Shapiro. The Art of Prolog-Advanced Programming Techniques. MIT Press, 1986.
22. E. Wilde. BibTeXML (BibTeX markup language), 2004. http://dret.net/ projects/bibtexml/.