Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
Journal article, 2013

Matsuda et al. (2007) and Voigtländer (2009) have introduced two techniques that given a source+to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al. 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in.

Relational Views

Update Semantics

Transformations

Lenses

Author

Janis Voigtländer

University of Bonn

Zhenjiang Hu

Research Organization of Information and Systems National Institute of Informatics

Kazutaka Matsuda

University of Tokyo

Meng Wang

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Journal of Functional Programming

0956-7968 (ISSN) 1469-7653 (eISSN)

Vol. 23 5 515-551

Areas of Advance

Information and Communication Technology

Subject Categories

Computer Science

DOI

10.1017/S0956796813000130

More information

Latest update

2/28/2018