Higher-Order and Symbolic Computation

, Volume 21, Issue 1, pp 89-118

First online:

A programmable editor for developing structured documents based on bidirectional transformations

  • Zhenjiang HuAffiliated withInformation Systems Architecture Research Division, National Institute of Informatics Email author 
  • , Shin-Cheng MuAffiliated withInstitute of Information Science, Academia Sinica
  • , Masato TakeichiAffiliated withDepartment of Mathematical Informatics, University of Tokyo

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


This paper presents an application of bidirectional transformation to the design and implementation of a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on a view of the document, and the editor automatically derives an efficient and reliable document source and a transformation that produces the document view. The editor is unique in its programmability, in the sense that transformations can be obtained through editing operations. It uses the view-updating technique developed in the database community and a new bidirectional transformation language that can describe not only the relationship between the document source and its view, but also the data dependency in the view.


View updating Bidirectional transformation Functional programming Document engineering Structured editor