CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Combining Syntactic and Semantic Bidirectionalization

Janis Voigtländer ; Zhenjiang Hu ; Kazutaka Matsuda ; Meng Wang (Institutionen för data- och informationsteknik (Chalmers))
ACM SIGPLAN Notices (0362-1340). Vol. 45 (2010), 9, p. 181--192.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: program transformation, view-update problem

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2013-07-31.
CPL Pubid: 180409


Läs direkt!

Länk till annan sajt (kan kräva inloggning)