Combining Syntactic and Semantic Bidirectionalization
Artikel i vetenskaplig tidskrift, 2010

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.

view-update problem

program transformation


Janis Voigtländer

Zhenjiang Hu

Kazutaka Matsuda

Meng Wang

Chalmers, Data- och informationsteknik

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

07308566 (ISSN)

Vol. 45 9 181--192-


Informations- och kommunikationsteknik


Datavetenskap (datalogi)

Mer information