Skip to main content

Combining Syntactic and Semantic Bidirectionalization

Voigtländer, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 181-192. ISBN 978-1-60558-794-3. (doi:10.1145/1863543.1863571) (KAR id:47473)

PDF Publisher pdf
Language: English
Download (288kB) Preview
Official URL


Matsuda et al. [2007, ICFP] and Voigtlander [2009, POPL] 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. 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: Book section
DOI/Identification number: 10.1145/1863543.1863571
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: 03 Oct 2019 14:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year