Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

A bidirectional transformation (BX) keeps a pair of interrelated models synchronized.
Symmetric BXs are those for which neither model in the pair fully determines the other. We …

Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …

This paper surveys three distinct approaches to bidirectional programming. The first
approach, syntactic bidirectionalization, takes a program describing the forward …

Bidirectional model transformation is a key technology in model-driven engineering (MDE),
when two models that can change over time have to be kept constantly consistent with each …

Putback-based bidirectional programming allows the programmer to write only one putback
transformation, from which the unique corresponding forward transformation is derived for …

Bidirectional transformations provide a novel mechanism for synchronizing and maintaining
the consistency of information between input and output. Despite many promising results on …

In a reversible language, any forward computation can be undone by a finite sequence of
backward steps. Reversible computing has been studied in the context of different …

A bidirectional transformation consists of a function get that takes a source (document or
value) to a view and a function put that takes an updated view and the original source back …

Bidirectional programming languages are a practical approach to the view update problem.
Programs in these languages, called lenses, define both a view and an update policy-ie …