Skip to main content

Incremental Updates for Efficient Bidirectional Transformations

Wang, Meng, Gibbons, Jeremy, Wu, Nicolas (2011) Incremental Updates for Efficient Bidirectional Transformations. In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. . pp. 392-403. ISBN 978-1-4503-0865-6. (doi:10.1145/2034773.2034825)

PDF - Publisher pdf
Download (220kB) Preview
[img]
Preview
Official URL
http://dl.acm.org/citation.cfm?id=2034825

Abstract

A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly. The key to handling large data objects that are subject to relatively small modifications is to process the updates incrementally. Incrementality has been explored in the semi-structured settings of relational databases and graph transformations; this flexibility in structure makes it relatively easy to divide the data into separate parts that can be transformed and updated independently. The same is not true if the data is to be encoded with more general-purpose algebraic datatypes, with transformations defined as functions: dividing data into well-typed separate parts is tricky, and recursions typically create interdependencies. In this paper, we study transformations that support incremental updates, and devise a constructive process to achieve this incrementality.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1145/2034773.2034825
Uncontrolled keywords: Functional Programming, Bidirectional Programming, Incremental Computing, Program Transformation, View-update Problem
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: 28 Feb 2015 23:47 UTC
Last Modified: 29 May 2019 14:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47477 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year