Skip to main content

Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins

Voigtlander, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng (2013) Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming, 23 (05). pp. 515-551. ISSN 0956-7968. (doi:10.1017/S0956796813000130)

PDF - Author's Accepted Manuscript
Download (372kB) Preview
[img]
Preview
Official URL
http://journals.cambridge.org/action/displayAbstra...

Abstract

Matsuda et al. (2007) and Voigtlander (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 (Voigtlander et al. 2010). Here, we carry that idea further, reworking the technique of Voigtlander 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.

Item Type: Article
DOI/Identification number: 10.1017/S0956796813000130
Uncontrolled keywords: UPDATE SEMANTICS, RELATIONAL VIEWS, TRANSFORMATIONS, LENSES
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Meng Wang
Date Deposited: 01 Mar 2015 00:37 UTC
Last Modified: 29 May 2019 14:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47481 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year