Combining Syntactic and Semantic Bidirectionalization

Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: ACM SIGPLAN international conference on Functional programming, September 2010. (Full text available)

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

Abstract

Matsuda et al. [2007, ICFP] and Voigtlander [2009, POPL] intro- ¨ duced 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. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side delivers

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: 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 16:52 UTC
Last Modified: 23 Mar 2015 17:42 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47473 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year