Copenhagen Programming Language Seminar
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.
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org