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
182 Update semantics of relational views – F. Bancilhon, N. Spyratos - 1981
100 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
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
4 Gradual Refinement Blending Pattern Matching with Data Abstraction – Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
25 Designing Constraint Maintainers for User Interaction – Lambert Meertens - 1998
5 Generic point-free lenses – Hugo Pacheco, Alcino Cunha - 2010
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
57 Updates of relational views – S S Cosmadakis, C H Papadimitriou - 1984
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