Delta Lenses and Opfibrations
暂无分享,去创建一个
[1] Benjamin C. Pierce,et al. Relational lenses: a language for updatable views , 2006, PODS '06.
[2] Michael Johnson,et al. Lens put-put laws: monotonic and mixed , 2012 .
[3] Perdita Stevens. Towards an Algebraic Theory of Bidirectional Transformations , 2008, ICGT.
[4] Michael Johnson,et al. Lenses, fibrations and universal translations† , 2011, Mathematical Structures in Computer Science.
[5] Martin Hofmann,et al. Edit lenses , 2012, POPL '12.
[6] Zinovy Diskin,et al. Algebraic Graph-Based Approach to Management of Multidatabase Systems , 1995, NGITS.
[7] Michael Johnson,et al. Fibrations and universal view updatability , 2007, Theor. Comput. Sci..
[8] Benjamin C. Pierce,et al. Basic category theory for computer scientists , 1991, Foundations of computing.
[9] Krzysztof Czarnecki,et al. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..
[10] Benjamin C. Pierce,et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.
[11] Michael Johnson,et al. Entity-relationship-attribute designs and sketches , 2002 .
[12] Michael Johnson,et al. View Updatability Based on the Models of a Formal Specification , 2001, FME.
[13] Nicolas Spyratos,et al. Update semantics of relational views , 1981, TODS.
[14] Frank Piessens,et al. Categorical data-specifications , 1995 .
[15] Michael Johnson,et al. Algebras and Update Strategies , 2010, J. Univers. Comput. Sci..