Updatable Security Views (2009)

by J. Nathan Foster , Benjamin C. Pierce , Steve Zdancewic
Citations:11 - 2 self

Documents Related by Co-Citation

118 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
181 Update semantics of relational views – F. Bancilhon, N. Spyratos - 1981
99 On the Correct Translation of Update Operations on Relational Views – U Dayal, P A Bernstein - 1982
39 Boomerang: Resourceful lenses for string data – Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, École Polytechnique, Alan Schmitt - 2007
18 Quotient lenses – J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce - 2008
59 Relational Lenses: A Language for Updatable Views – Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan - 2006
46 Bidirectional model transformations in QVT: Semantic issues and open questions – Perdita Stevens - 2007
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
5 Generic point-free lenses – Hugo Pacheco, Alcino Cunha - 2010
25 Designing Constraint Maintainers for User Interaction – Lambert Meertens - 1998
25 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
70 Properties and update semantics of consistent views – G Gottlob, P Paolini, R Zicari - 1988
4 Propagating Updates Through XML Views Using Lineage Tracing – Leonidas Fegaras
32 A Programmable Editor for Developing Structured Documents Based on Bidirectional Transformations – Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi - 2004
56 Updates of Relational Views – S S Cosmadakis, C H Papadimitrou - 1983
7 Xml security views revisited – B Groz, S Staworko, A-C Caron, Y Roos, S Tison - 2009
21 An Algebraic Approach to Bi-Directional Updating – Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi - 2004
16 Bidirectionalization for free – J Voigtländer - 2009
21 Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions – Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi - 2007