WebHome
- Education Page

Center
Master Program
Web Home

Esdx
%TOC%

---+ Course setup

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
   * <nop>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.

---+ People involved

Participants

   * Remco Burema
   * [[Students.GertjanVanMontfoort][Gert van Montfoort]]
   * [[Students.NielsVanDerVelden][Niels van der Velden]]
   * [[Students.JoostVerhoog][Joost Verhoog]]


Supervisors

   * [[Main.JohanJeuring][Johan Jeuring]] (JJ)
   * [[Main.MartijnSchrage][Martijn Schrage]] (MS)

---+ Schedule

For the schedule containing times and locations look [[http://www.cs.uu.nl/education/vak.php?vak=esdx&jaar=2004 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 [1], 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 [2]|
| December 8, 2004| Meertens [3], Sections 0-3 (page 1-41) |
| December 13, 2004| Cancelled |
| December 15, 2004| Meertens, rest of the paper |
| December 20, 2004| <nop>TreeCalc and programmable editor papers [4,5]|
| December 22, 2004| Greenwald et al [6] |
| January 3 , 2005| Cancelled |
| January 5 , 2005| Robert Gl&uuml;ck and Masahiko Kawabe [8]|
| January 10 , 2005| Mu et al [7,9]|
| January 12 , 2005| Attribute Grammar Inversion [10] |
| January 17 , 2005| Harmonia/Ensemble [11]|
| January 19 , 2005| Sufrin and de Moor: Modeless Structure Editing [12]|
| January 24 , 2005| |
| January 26 , 2005| |
| February 2 , 2005| 11:00 - 13:00, Student presentations (CGN B205) |

---+ Individual assignments

A preliminary list of topics/extensions

| *Topic* | *Assigned to* | *Supervised by* |
| Editing music in Proxima \
| Remco Burema |  JJ |
| A typed invertible language \
| ?  |  JJ |
| EditAG \
| [[Students.JoostVerhoog][Joost Verhoog]]   |  MS |
| An editor for IMS Learning Design \
| ?  |  JJ |
| Editing graphs in Proxima \
| ?  |  MS |
| ITunes in Proxima \
| [[Students.NielsVanDerVelden][Niels van der Velden]]  |  MS |
| Equation editors and/or proof editors in Proxima \
| ?  |  MS |
| An XML data binding to AG's\
| ? |  JJ |
| Automatic inversion of functional programs: literature study \
| [[Students.GertjanVanMontfoort][Gert van Montfoort]]  |  JJ |

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.

---+ Deliverables

   * Proposal + prototype implementation + presentation of the assigned project
   * Attendance at and participation in meetings

---+ Bibliography

We will read the following papers and thesis, roughly in the order they appear in this list.

   1 Martijn M. Schrage. _<a href="http://www.cs.uu.nl/research/projects/proxima/thesis.pdf">Proxima - A presentation-oriented editor for structured documents</a>_. <nop>PhD thesis, Utrecht University, 2004.
   2 Vincent Quint, Irene Vatton. _<a href="http://wam.inrialpes.fr/publications/2004/DocEng2004VQIV.pdf">Techniques for authoring complex XML documents</a>_. In Document Engineering 2004.
   3 Lambert Meertens. _<a href="ftp://ftp.kestrel.edu/pub/papers/meertens/dcm.ps">Designing Constraint Maintainers for User Interaction</a>_.
   4 M. Takeichi et al. _<a href="http://www.cs.uu.nl/research/projects/proxima/docs/treecalc.pdf">TreeCalc : Towards Programmable Structured Documents</a>_.
   5 Z. Hu, S-C. Mu and M. Takeichi. _<a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/pub/p03-hu.pdf">A programmable editor for developing structured documents based on bidirectional transformations</a>_. To appear in PEPM 2004.
   6 Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. _<a href="http://www.cis.upenn.edu/~mbgreen/papers/upenn-cis-04-15-tr-short.pdf">A Language for Bi-Directional Tree Transformations</a>_. 2003.
   7 S-C. Mu, Z. Hu and M. Takeichi. _<a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/pub/bidir.pdf">A language for bidirectional updating based on injective mapping</a>_. Submitted to POPL 2005
   8 Robert Gl&uuml;ck and Masahiko Kawabe. _<a href="http://www.cs.uu.nl/research/projects/proxima/docs/gluck_InverseLR.pdf">Derivation of deterministic Inverse Programs based on LR parsing</a>_.
   9 S-C. Mu, Z. Hu and M. Takeichi. _<a href="http://www.ipl.t.u-tokyo.ac.jp/~scm/pub/bidirectional.pdf">An Algebraic Approach to Bi-directional Updating</a>_. In _The Second Asian Symposium on Programming Language and Systems_, pp. 2-18. November 2004.
   10 D.M. Yellin and E.M. Mueckstein. _<a href="http://www.cs.uu.nl/research/projects/proxima/docs/yellin_TwoWayAG.pdf">Two-way translators based on attribute grammar inversion</a>_.
   11 M. Boshernitsan and S.L. Graham. _<a href="http://www.cs.berkeley.edu/Research/Projects/harmonia/papers/maratb-master.pdf">Harmonia: A Flexible Framework for Constructing Interactive Language-Based Programming Tools</a>_ Technical Report CSD-01-1149, University of California, Berkeley. 
   12 B. A. Sufrin and O. de Moor. _<a href="http://citeseer.ist.psu.edu/cache/papers/cs/8961/http:zSzzSzwww.comlab.ox.ac.ukzSzouclzSzuserszSzoege.demoorzSzpaperszSzedit.pdf/sufrin99modeless.pdf">Modeless structure editing</a>_. 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. 

-- Main.MartijnSchrage - 17 Jan 2005

<!--
   * Set PREV_SKIN = notitle
-->