Boomerang: Resourceful lenses for string data

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2008, Pages 407-419

  Bohannon, Aaron ^a   Foster, J Nathan ^a   Pierce, Benjamin C ^a   Pilkiewicz, Alexandre ^b   Schmitt, Alan ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b ECOLE POLYTECHNIQUE   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

bidirectional languages; lenses; regular string transducers; regular types; view update problem

Indexed keywords

BIDIRECTIONAL PROGRAMMING LANGUAGE; BIDIRECTIONAL TRANSFORMATION; COMBINATORS; CORRUPTED DATA; GENOMIC DATABASE; ORDERED DATA; REAL WORLD DATA; REGULAR EXPRESSIONS; REGULAR TYPES; SEMANTIC SPACE; SWISS-PROT; TYPE SYSTEMS; VIEW UPDATE PROBLEMS;

COMPUTER PROGRAMMING LANGUAGES; LENSES; SEMANTICS; TRANSDUCERS;

OBJECT ORIENTED PROGRAMMING;

EID: 84865636781     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328438.1328487     Document Type: Conference Paper

References (25)

1. Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, and Rinus Plasmeijer. There and back again: Arrows for invertible programming. In ACM SIGPLAN Workshop on Haskell, pages 86-97, 2005.
2. François Bancilhon and Nicolas Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557-575, December 1981.
3. Nick Benton. Embedded interpreters. Journal of Functional Programming, 15(4):503-542, 2005.
4. Jean Berstel, Dominique Perrin, and Christophe Reutenauer. Codes and Automata. 2005. Manuscript available from http://www-igm.univ-mlv.fr/~berstel/ LivreCodes/.
5. 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.
6. Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful lenses for string data. Technical Report MS-CIS-07-15, Dept. of CIS University of Pennsylvania, November 2007.
7. 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.
8. Janusz A. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4):481-494, 1964.
9. Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. Why and where: A characterization of data provenance. In International Conference on Database Theory (ICDT), London, UK, volume 1973 of Lecture Notes in Computer Science, pages 316-330. Springer, 2001.
10. Yingwei Cui and Jennifer Widom. Lineage tracing for general data warehouse transformations. VLDB Journal, 12(1):41-58, 2003.
11. Robert Ennals and David Gay. Multi-language synchronization. In European Symposium on Programming (ESOP), Braga, Portugal, volume 4421 of Lecture Notes in Computer Science, pages 475-489. Springer-Verlag, 2007.
12. 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.
13. 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.
14. 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.
15. 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.
16. Shinya Kawanaka and Haruo Hosoya. bixid: a bidirectional transformation language for XML. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Portland, Oregon, pages 201-214, 2006.
17. Andrew J. Kennedy. Functional pearl: Pickler combinators. Journal of Functional Programming, 14(6):727-739, 2004.
18. Lambert Meertens. Designing constraint maintainers for user interaction, 1998. Manuscript.
19. 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.
20. Benjamin C. Pierce et al. Harmony: A synchronization framework for heterogeneous tree-structured data, 2006. http://www.seas.upenn.edu/~harmony/.
21. M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM Journal of Research and Development, 3(2):114-125, 1959.
22. 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.
23. Emmanuel Roche and Yves Schabes, editors. Finite-State Language Processing. MIT Press, 1996.
24. 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.
25. Naoshi Tabuchi, Eijiro Sumii, and Akinori Yonezawa. Regular expression types for strings in a text processing language. In Workshop on Types in Programming (TIP), Dagstuhl, Germany, volume 75 of Electronic Notes in Theoretical Computer Science, pages 95-113, 2002.