MATHEMATICAL ENGINEERING TECHNICAL REPORTS Type Specialization for Effective Bidirectionalization

Abstract

A bidirectional transformation is a pair of transformations, a forward transformation and a backward transformation, where a forward transformation maps one data structure called source to another called view, and a corresponding backward transformation reflects changes on the view to the source. Its practical applications include replicated data… (More)

Topics

9 Figures and Tables

Cite this paper

@inproceedings{Matsuda2008MATHEMATICALET, title={MATHEMATICAL ENGINEERING TECHNICAL REPORTS Type Specialization for Effective Bidirectionalization}, author={Kazutaka Matsuda and Zhenjiang Hu and Masato Takeichi}, year={2008} }