Quotient lenses

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 383-395

  Nathan Foster, J ^a   Pilkiewicz, Alexandre ^b   Pierce, Benjamin C ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b INRIA   (France)

Author keywords

Bidirectional languages; Bijective languages; Boomerang; Canonizers; Equivalences; Lenses; Regular string transducers; Regular types; View update problem

Indexed keywords

BIDIRECTIONAL LANGUAGES; BIJECTIVE LANGUAGES; BOOMERANG; CANONIZERS; EQUIVALENCES; REGULAR STRING TRANSDUCERS; REGULAR TYPES; VIEW UPDATE PROBLEM;

COMPUTER PROGRAMMING; DATA STRUCTURES; FOURIER TRANSFORMS; FUNCTIONAL PROGRAMMING; LENSES; OPTICAL INSTRUMENTS; PROBLEM ORIENTED LANGUAGES; PROGRAMMING THEORY; QUERY LANGUAGES; SET THEORY; TRANSDUCERS;

LINGUISTICS;

EID: 59249106522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411257     Document Type: Conference Paper

References (32)

1. Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, and Rinus Plasmeijer. There and back again: Arrows for inverti ble programming. In ACM SIGPLAN Workshop on Haskell, pages 86-97, 2005.
2. Amos Bairoch, Rolf Apweiler, Cathy H. Wu, Winona C. Barker, Brigitte Boeckinann, Serenella Ferro, Elisabeth Gasteiger, Hongzhan Huang, Rodrigo Lopez, Michele Magrane, Maria J. Martin, Darren A. Natale, Claire O'Donovan, Nicole Redaschi, and Lai. The Universal Protein Resource (UniProt). Nucleic Acids Research, 33(Database issue):D154-9, January 2005.
3. François Bancilhon and Nicolas Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557-575, December 1981.
4. Nick Benton. Embedded interpreters. Journal of Functional Programming, 15(4):503-542, 2005.
5. Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser. Coupled schema transformation and data conversion for XML and SQL. In International Symposium on Practical Aspects of Declarative Languages (PADL), Nice France, volume 4354, pages 290-304, 2007.
6. Meera Blattner. Single-valued a-transducers. Journal of Computer and System Sciences, 15(3):310-327, 1977.
7. Aaron Bohannon, Jeffrey A. Vaughan, and Benjamin C. Pierce. Relational lenses: A language for updateable views. In Principles of Database Systems (PODS), 2006. Extended version available as University of Pennsylvania technical report MS-CIS-05-27.
8. Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful lenses for string data. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California, January 2008.
9. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. Dual syntax for XML languages. Information Systems, 2007. To appear. Extended abstract in Database Programming Languages (DBPL) 2005.
10. A. Cunha, J.N. Oliveira, and J. Visser. Type-safe two-level data transformation. European Symposium on Formal Methods, 4085:284-299.
11. Umeshwar Dayal and Philip A. Bernstein. On the correct translation of update operations on relational views. TODS, 7(3):381-416, September 1982.
12. David T. Eger. Bit level types, 2005. Manuscript. Available from http://www.yak.net/random/blt/blt-drafts/03/blt.pdf.
13. Sander Evers, Peter Achten, and Rinus Plasmeijer. Disjoint forms in graphical user interfaces. In Trends in Functional Programming, volume 5, pages 113-128. Intellect, 2006. ISBN 1-84150-144-1.
14. Kathleen Fisher and Robert Gruber. PADS: a domain-specific language for processing ad hoc data. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Chicago, IL, pages 295-304, 2005.
15. J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt. Exploiting schemas in data synchronization. Journal of Computer and System Sciences, 73(4):669-689, June 2007a. Extended abstract in Database Programming Languages (DBPL) 2005.
16. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. ACM Transactions on Programming Languages and Systems, 29(3): 17, May 2007b. Extended abstract in Principles of Programming Languages (POPL), 2005.
17. J. Nathan Foster, Benjamin. C. Pierce, and Alexandre Pilkiewicz. Quotient lenses. Technical Report MS-CIS-08-08, Dept. of CIS University of Pennsylvania, 2008.
18. Michael Greenberg and Shriram Krishnamurthi. Declarative Composable Views, 2007. Undergraduate Honors Thesis. Department of Computer Science, Brown University.
19. Stephen J. Hegner. Foundations of canonical update support for closed database views. In International Conference on Database Theory (ICDT), Paris, France, pages 422-436, New York, NY, USA, 1990. Springer-Verlag New York, Inc. ISBN 0-387-53507-1. URL http://www.cs.umu.se/hegner/Publications/PDF/ icdt90.pdf.
20. Zhenjiang Hu, Shin-Cheng Mu, and Masato Takeichi. A. programmable editor for developing structured documents based on bi-directional transformations. In Partial Evaluation and Program Manipulation (PEPM), pages 178-189, 2004. Extended version to appear in Higher Order and Symbolic Computation, 2008.
21. Shinya Kawanaka and Haruo Hosoya. bixid: a bidirectional transformation language for XML. In ACAf SIGPLAN International Conference on Functional Programming (ICFP), Portland., Oregon, pages 201-214, 2006.
22. Andrew J. Kennedy. Functional pearl: Pickler combinators. Journal of Functional Programming, 14(6):727-739, 2004.
23. Dongxi Liu, Zhenjiang Hu, and Masato Takeichi. Bidirectional interpretation of xquery. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM), Nice, France, pages 21-30, New York, NY, USA, 2007.
24. David Lutterkort. Augeas: A Linux configuration. API, February 2007. Available from http://augeas.net/.
25. K. Matsuda, Z. Hu, K. Nakano, M. Hamaná, and M. Takeichi. Bidirectionalization transformation based on automatic derivation of view complement functions. In ACM SIGPLAN International Conference on Functional Programming (ICFP), volume 42, pages 47-58. ACM Press New York, NY, USA, 2007.
26. Lambert Meertens. Designing constraint maintainers for user interaction, 1998. Manuscript.
27. Renée J. Miller, Mauricio A. Hernandez, Laura M. Haas, Lingling Yan, C. T. Howard Ho, Ronald Fagin, and Lucian Popa. The clio project: Managing heterogeneity. 30(1):78-83, March 2001. URL citeseer.nj.nee.com/miller01clio. html.
28. Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. An algebraic approach to bi-directional, updating. In ASIAN Symposium on Programming Languages and Systems (APLAS), pages 2-20, November 2004.
29. Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. Bidirectionalizing tree transformation languages: A case study. JSSST Computer Software, 23(2): 129-141, 2006.
30. Norman Ramsey. Embedding an interpreted language using higher-order functions and types. In ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators (IVME), San Diego, CA, pages 6-14, 2003.
31. Perdita Stevens. Bidirectional model transformations in QVT: Semantic issues and open questions. In International Conference on Model Driven Engineering Languages and Systems (MoDELS), Nashville, TN, volume 4735 of Lecture Notes in Computer Science, pages 1-15. Springer-Verlag, 2007. ISBN 978-3-540-75208-0.
32. Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, and Hong Mei. Towards automatic model synchronization from model transformations. In IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, pages 164-173, 2007.