Skip to main content

Combining Syntactic and Semantic Bidirectionalization

Voigtlander, Janis, Hu, Zhenjiang, Matsuda, Kazutaka, Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. . pp. 181-192. ISBN 978-1-60558-794-3.

PDF - Publisher pdf
Download (288kB) Preview
Official URL


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: 29 May 2019 14:17 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year