A programmable editor for developing structured documents based on bidirectional transformations

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2004, Pages 178-189

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

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

Bidirectional transformation; Document Engineering; Editor; Functional programming; View updating

Indexed keywords

DATABASE SYSTEMS; ELECTRONIC COMMERCE; INFORMATION ANALYSIS; INFORMATION RETRIEVAL SYSTEMS; SPREADSHEETS; WORD PROCESSING; XML;

BIDIRECTIONAL TRANSFORMATION; DOCUMENT ENGINEERING; EDITOR; FUNCTIONAL PROGRAMMING; VIEW UPDATING;

COMPUTER PROGRAM LISTINGS;

EID: 11244254268     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1014007.1014025     Document Type: Conference Paper

References (26)

1. Serge Abiteboul. On views and XML. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of Database Systems, pages 1-9. ACM Press, 1999.
2. F. Bancilhon and N. Spyratos. Updating semantics of relational views. A CM Transactions on Database Systems, 6(4):557-575, 1981.
3. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In Proceedings of 2003 ACM SIGPLAN International Conference on Functional Programming. ACM Press, 2003.
4. R.S. Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998.
5. Tim Bray, Jean Paoli, and C.M. Sperberg-McQueen. Extensible markup language (XML) 1.0. 1998.
6. Boris Chidlovskii. Schema extraction from XML collections. In Proceedings of the second ACM/IEEE-CS joint conference on Digital libraries, pages 291-292. ACM Press, 2002.
7. U. Dayal and P. A. Bernstein. On the correct translation of update operations on relational views. ACM TODS, 7(3):381-416, 1982.
8. R. Furuta, V. Quint, and J. André. Interactively editing structured documents. Electronic Publishing Origination, Dissemination, and Design, 1(1):19-44, 1988.
9. Minos Garofalakis, Aristides Gionis, Rajeev Rastogi, S. Seshadri, and Kyuseok Shim. Xtract: a system for extracting document type descriptors from XML documents. In Proceedings of the 2000 ACM SIGMOD international conference on Management of data, pages 165-176. ACM Press, 2000.
10. Robert Glück and Masahiko Kawabe. A program inverter for a functional language with equality and constructors. In Atsushi Ohori, editor, Programming Languages and Systems. Proceedings, volume 2895 of Lecture Notes in Computer Science, pages 246-264. Springer-Verlag, 2003.
11. G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems, 13(4):486-524, 1988.
12. Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierc, and Alan Schmitt. A language for bi-directional tree transformations. Technical Report Technical Report MS-CIS-03-08, Department of Computer and Information Science University of Pennsylvania, August 2003.
13. Haruo Hosoya, Jerome Vouilon, and Benjamin Pierce. Regular expression types for XML. In Proceedings of 2000 ACM SIGPLAN International Conference on Functional Programming, pages 11-22. ACM Press, 2000.
14. Johan Jeuring. Implementing a generic editor. In 2nd Workshop on Programmable Structured Documents, February 2004.
15. Larry Kim. The Official XMLSPY Handbook. John Wiley & Sons, 2002.
16. Lambert Meertens. Designing constraint maintainers for user interaction, http://www.cwi.nl/~lambert, June 1998.
17. S.C. Mu, Z. Hu, and M. Takeichi. An algebraic approach to bi-directional updating, submitted for publication, June 2004.
18. S.C. Mu, Z. Hu, and M. Takeichi. An injective language for reversible computation. In Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, July 2004. Springer Verlag, LNCS.
19. Atsushi Ohori and Keishi Tajima. A polymorphic calculus for views and object sharing. In ACM PODS'94, Pages 255-266, 1994.
20. Yannis Papakonstantinou and Victor Vianu. DTD inference for views of XML data. In Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 35-46. ACM Press, 2000.
21. Peter Buneman and Sanjeev Khanna and Wang-Chiew Tan. On Propagation of Deletion and Annotation Through Views. In Proceedings of ACM Symposium on Principles of Database Systems (PODS), Wisconsin, Madison, June 2002.
22. Martijn M. Schrage and Johan Jeuring. Xprez: A declarative presentation language for XML. See http://www.cs.uu.nl/research/projects/proxima/, 2003.
23. XML Software. A list of XML editors. See http://www.xmlsoftware.com/ editors.html, 2004.
24. Masato Takeichi, Zhenjiang Hu, Kazuhiko Kakehi, Yasushi Hayashi, Shin-Cheng Mu, and Keisuke Nakano. Treecalc : Towards programmable structured documents. In JSSST Conference on Software Science and Technology, September 2003.
25. L. Villard, C. Roisin, and N. Layada. A XML-based multimedia document processing model for content adaptation. In 8th International Conference on Digital Documents and Electronic Publishing, LNCS, September 2000.
26. Malcolm Wallace and Colin Runciman, Haskell and XML: Generic combinators or type-based translation? In ACM SIGPLAN International Conference on Functional Programming, pages 148-159, Paris, 1999. ACM Press.