Combining syntactic and semantic bidirectionalization

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

研究成果: Article査読

7 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)181-192
ページ数12
ジャーナルACM SIGPLAN Notices
45
9
DOI
出版ステータスPublished - 2010 9

ASJC Scopus subject areas

  • Computer Science(all)

フィンガープリント 「Combining syntactic and semantic bidirectionalization」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル