Combining syntactic and semantic bidirectionalization

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Abstract

Matsuda et al. [2007, ICFP] and Voigtländer [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.

Original languageEnglish
Title of host publicationICFP'10 - Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming
Pages181-192
Number of pages12
DOIs
Publication statusPublished - 2010
Event15th ACM SIGPLAN International Conference on Functional Programming, ICFP'10 - Baltimore, MD, United States
Duration: 2010 Sep 272010 Sep 29

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other15th ACM SIGPLAN International Conference on Functional Programming, ICFP'10
CountryUnited States
CityBaltimore, MD
Period10/9/2710/9/29

Keywords

  • program transformation
  • view-update problem

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Combining syntactic and semantic bidirectionalization'. Together they form a unique fingerprint.

  • Cite this

    Voigtländer, J., Hu, Z., Matsuda, K., & Wang, M. (2010). Combining syntactic and semantic bidirectionalization. In ICFP'10 - Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming (pp. 181-192). (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP). https://doi.org/10.1145/1863543.1863571