Bidirectionalizing tree transformation languages: A case study

Computer Software

Volumn 23, Issue 2, 2006, Pages 129-141

  Mu, Shin Cheng ^a   Hu, Zhenjiang ^a   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

BIDIRECTIONALIZING TREE TRANSFORMATION; SOURCE DATA;

COMPUTER SOFTWARE; DATA STRUCTURES; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ENGINEERING; XML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33749014420     PISSN: 02896540     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. Abiteboul, S.: On views and XML, in Proceedings of the 18th ACM SIGPLAN-SIGACT-SIGART Symposium on Principles of Database Systems, ACM Press, 1999, pp. 1-9.
2. Altova, Co.: XMLSpy. http://www.xmlspy.com/products_ide.html.
3. Bancilhon, F. and Spyratos, N.: Update semantics of relational Views, ACM Transactions on Database Systems, Vol.6, No. 4(1981), pp. 557-575.
4. Bennett, C. H.: Logical reversibility of computation, IBM Journal of Research and Development, Vol.17, No. 6(1973), pp. 525-532.
5. Benzaken, V., Castagn, G. and Frisch, A.: CDuce: an XML-centric general-purpose language, in Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming, ACM Press, 2003.
6. Bray, T., Paoli, J., Sperberg-Macqueen, G. M. and Maler, E.: Extensible Markup Language (XML) 1.0 (Second Edition), October 2000. http://www.w3.org/TR/ REC-xml.
7. Dayal, U. and Bernstein, P. A.: On the correct translation of update operations on relational views, ACM Transactions on Database Systems, Vol. 7, No. 3(1982), pp. 381-416.
8. Foster, J. N., Greenwald, M. B., Moore, J. T., Pierce, B. C. and Schmitt, A.: Combinators for bi-Directional tree transformations: a linguistic approach to the view update problem, in The 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), Long Beach, California, ACM Press, 2005, pp. 233-246.
9. Gottlob, G., Paolini, P. and Zicari, R.: Properties and update semantics of consistent views, ACM Transactions on Database Systems, Vol. 13, No. 4(1988), pp. 486-524.
10. Greenwald, M. B., Moore, J. T., Pierce, B. C. and Schmitt, A.: A language for bi-directional tree transformations, Technical Report, MS-CIS-03-08, University of Pennsylvania, August 2003.
11. Higo, Y., Kamiya, T., Kusumoto, S. and Inoue, K.: ARIES: refactoring support environment based on code clone analysis, in The 8th IASTED International Conference on Software Engineering and Applications(SEA 2004), Cambridge, USA, ACTA Press, November 9-11, 2004, pp. 222-229.
12. Hu, Z., Emoto, K., Mu, S.-C. and Takeichi, M.: Bidirectionalizing Tree Tranformations, in Workshop on New Approaches to Software Construction (WNASC 2004), Komaba, Tokyo, Japan, September 13-14, 2004.
13. Hu, Z., Mu, S.-C. and Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations, in Proceedings of ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, Verona, Italy, ACM Press, August 2004.
14. Hu, Z., Mu, S.-C. and Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations, 2006. Submitted to Higher-Order and Symbolic Computation.
15. Janzen, D. and de Volder, K.: Programming with crosscutting effective views, in ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Lecture Notes in Computer Science, No. 3086, Springer-Verlag, June 14-18, 2004, pp. 195-218.
16. Lämmel, R.: Coupled software transformations (extended abstract), in First International Workshop on Software Evolution Transformations, 2004.
17. Meertens, L.: Designing constraint maintainers for user interaction, 1998. ftp://ftp.kestrel.edu/pub/papers/meertens/dcm.ps.
18. Mu, S.-C., Hu, Z. and Takeichi, M.: An Injective Language for Reversible Computation, in Seventh International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science, No. 3125, Springer-Verlag, July 2004.
19. Mu, S.-C., Hu, Z. and Takeichi, M.: An algebraic approach to bi-directional updating, in The Second Asian Symposium on Programming Language and Systems(Chin, W.-N.(ed.)), Lecture Notes in Com puter Science, No. 3302, Springer-Verlag, November 4-6, 2004, pp. 2-20.
20. Ohori, A. and Tajima, K.: A polymorphic calculus for views and object sharing, in Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, ACM Press, 1994, pp. 255-266.
21. Pierce, B. C., Schmitt, A. and Greenwald, M. B.: Bringing harmony to optimism: an experiment in synchronizing heterogeneous tree-structured data, Technical Report, MS-CIS-03-42, University of Pennsylvania, March 18, 2004.
22. Schrage, M. M.: Proxima - A presentation-oriented editor for structured documents, PhD Thesis, Utrecht University, The Netherlands, 2004.
23. Takeichi, M., Hu, Z., Kakehi, K., Hayashi, Y., Mu, S.-C. and Nakano, K.: TreeCalc:towards programmable structured documents, in The 20th Conference of Japan Society for Software Science and Technology, September 2003.
24. Wallace, M. and Runciman, C.: Haskell and XML: generic combinators or type-based translation?, in Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, ACM Press, September 1999, pp. 148-159.