Copenhagen Programming Language Seminar


In collaboration with FIRST Graduate School

An Algebraic Approach to Bi-directional Updating and Structured Document development

Zhenjiang Hu University of Tokyo, Japan
Shin-Cheng Mu University of Tokyo, Japan

Monday, July 19, 15:15-16:15
DIKU, Universitetsparken 1, room N010


In our Programmable Structured Documents project we are developing an XML editor supporting interactive development of structured documents. A source XML document is transformed to a user-friendly, editable "view". The editing performed by the user on the view needs to be reflected back to the source document. The transformation from source to view is also interactively developed by the user through a sequence of editing operations.

The main trick behind is a formal model describing how to maintain the consistency of two pieces of structured data that are related by some transform. The transform is defined by a programming language allowing injective functions only. The programmer designs the transformation as if she is writing a functional program, while the synchronisation behaviour is automatically derived by algebraic reasoning. The main advantage is being able to deal with duplication and structural changes.

In this talk we will give a brief overview of the editor,the language, and the algebraic reasoning techniques involved.

Joint work with Masato Takeichi.

Scientific host: Robert Glück. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org