In this seminar we will study different approaches to editing structured
documents and XML documents. Different kinds of structured documents
require different ways of editing. We will study several approaches, and
discuss their merits and problems. Possible topics are:
- Structure editors
- XML editors
- Invertible computations
- Bidirectional transformations
- MathML/ Amaya
- Pretty printing libraries
- Presentation languages
We will meet twice a week to talk about papers on the above topics, and
you will work on a project to be presented at the end of the seminar.
For the schedule containing times and locations look here
Below I give preliminary dates for when we discuss which paper. I'll update this as we go along.
| Date || What |
| November 17, 2004 || Proxima , Chapter 1 & 2 |
| November 22, 2004 || Proxima, Chapter 3 |
| November 24, 2004 || Proxima, Chapter 4 & 5.1-2 |
| November 29, 2004 || Proxima, Section 5.3 and 5.4 |
| December 1, 2004 || Proxima, Section 5.5, 5.6 and Chapter 6 |
| December 6, 2004 || Proxima, Chapter 7 & 8, Quint et al  |
| December 8, 2004 || Meertens , Sections 0-3 (page 1-41) |
| December 13, 2004 || Cancelled |
| December 15, 2004 || Meertens, rest of the paper |
| December 20, 2004 || TreeCalc and programmable editor papers [4,5] |
| December 22, 2004 || Greenwald et al  |
| January 3 , 2005 || Cancelled |
| January 5 , 2005 || Robert Glück and Masahiko Kawabe  |
| January 10 , 2005 || Mu et al [7,9] |
| January 12 , 2005 || Attribute Grammar Inversion  |
| January 17 , 2005 || Harmonia/Ensemble  |
| January 19 , 2005 || Sufrin and de Moor: Modeless Structure Editing  |
| January 24 , 2005 || |
| January 26 , 2005 || |
| February 2 , 2005 || 11:00 - 13:00, Student presentations (CGN B205) |
A preliminary list of topics/extensions
We will introduce these projects at the first meeting(s). If you already know
what you want to do, or if you have questions about these projects, don't
hesitate to contact Martijn Schrage or Johan Jeuring.
Send us your preference on or before November 29, 2004.
- Proposal + prototype implementation + presentation of the assigned project
- Attendance at and participation in meetings
We will read the following papers and thesis, roughly in the order they appear in this list.
- Martijn M. Schrage. Proxima - A presentation-oriented editor for structured documents. PhD thesis, Utrecht University, 2004.
- Vincent Quint, Irene Vatton. Techniques for authoring complex XML documents. In Document Engineering 2004.
- Lambert Meertens. Designing Constraint Maintainers for User Interaction.
- M. Takeichi et al. TreeCalc : Towards Programmable Structured Documents.
- Z. Hu, S-C. Mu and M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. To appear in PEPM 2004.
- Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. A Language for Bi-Directional Tree Transformations. 2003.
- S-C. Mu, Z. Hu and M. Takeichi. A language for bidirectional updating based on injective mapping. Submitted to POPL 2005
- Robert Glück and Masahiko Kawabe. Derivation of deterministic Inverse Programs based on LR parsing.
- S-C. Mu, Z. Hu and M. Takeichi. An Algebraic Approach to Bi-directional Updating. In The Second Asian Symposium on Programming Language and Systems, pp. 2-18. November 2004.
- D.M. Yellin and E.M. Mueckstein. Two-way translators based on attribute grammar inversion.
- M. Boshernitsan and S.L. Graham. Harmonia: A Flexible Framework for Constructing Interactive Language-Based Programming Tools Technical Report CSD-01-1149, University of California, Berkeley.
- B. A. Sufrin and O. de Moor. Modeless structure editing. In: J. Davies, A. W. Roscoe and J.C.P. Woodcock (editors), Proceedings of the Oxford Microsoft symposium in Celebration of the work of Tony Hoare, September 13-15, 1999.
- 17 Jan 2005