Gradual Refinement Blending Pattern Matching with Data Abstraction

by Meng Wang , Jeremy Gibbons , Kazutaka Matsuda , Zhenjiang Hu
Citations:4 - 2 self

Documents Related by Co-Citation

47 Bidirectional model transformations in QVT: Semantic issues and open questions – Perdita Stevens - 2007
124 Combinators for bi-directional tree transformations: A linguistic approach to the view update problem – J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt - 2005
42 Boomerang: Resourceful lenses for string data – Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, École Polytechnique, Alan Schmitt - 2007
19 Quotient lenses – J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce - 2008
102 On the Correct Translation of Update Operations on Relational Views – U Dayal, P Bernstein - 1982
28 Designing Constraint Maintainers for User Interaction – Lambert Meertens - 1998
12 Updatable Security Views – J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic - 2009
29 Bidirectional Transformations: A Cross-Discipline Perspective GRACE meeting notes, state of the art, and outlook – Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
6 Generic point-free lenses – Hugo Pacheco, Alcino Cunha - 2010
16 Bidirectionalization for free – J Voigtländer - 2009
61 Relational Lenses: A Language for Updatable Views – Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan - 2006
187 Update semantics of relational views – F. Bancilhon, N. Spyratos - 1981
33 A Programmable Editor for Developing Structured Documents Based on Bidirectional Transformations – Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi - 2004
15 Symmetric Lenses – Martin Hofmann, Benjamin Pierce, Daniel Wagner
8 Combining Syntactic and Semantic Bidirectionalization – Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang - 2010
13 Matching Lenses: Alignment and View Update – Davi M. J. Barbosa , Julien Cretin, Nate Foster , Michael Greenberg , Benjamin C. Pierce - 2010
22 Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions – Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi - 2007
5 Propagating Updates Through XML Views Using Lineage Tracing – Leonidas Fegaras
71 Properties and update semantics of consistent views – G Gottlob, P Paolini, R Zicari - 1988