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

Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins

Janis Voigtländer ; Zhenjiang Hu ; Kazutaka Matsuda ; Meng Wang (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Journal of functional programming (0956-7968). Vol. 23 (2013), 5, p. 515-551 .
[Artikel, refereegranskad vetenskaplig]

Matsuda et al. (2007) and Voigtländer (2009) have 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. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al. 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in.

Nyckelord: Update Semantics, Relational Views, Transformations, Lenses



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

Läs mer om Chalmers styrkeområden  

Denna post skapades 2013-08-26. Senast ändrad 2016-07-05.
CPL Pubid: 182257

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

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