Towards an algebraic theory of bidirectional transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5214 LNCS, Issue , 2008, Pages 1-17

  Stevens, Perdita ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC THEORIES; BIDIRECTIONAL TRANSFORMATIONS; MONOIDS;

ABSTRACTING; COMPUTER SCIENCE; GRAPH THEORY; LENSES;

OPTICAL INSTRUMENTS;

EID: 56449119123     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_1     Document Type: Conference Paper

References (6)

1. Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. in: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California (January 2008)
2. Foster, J.N., Greenwald, M.B., Moore, J.T.. Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems 29(3), 17 (2007); Preliminary version presented at the Workshop on Programming Language Technologies for XML (PLAN-X) (2004); extended abstract presented at Principles of Programming Languages (POPL) (2005)
3. Foster, J.N., Pilkiewicz, A., Pierce, B.C.: Quotient lenses. In: Proceedings of International Conference on Functional Programming (to appear, 2008), http://www.cis.upenn.edu/~jnf oster/papers/quotient-lenses.pdf
4. Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Trans. Database Syst. 13(4), 486-524 (1988)
5. Stevens, P.: Bidírectional model transformations in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS. vol. 4735. pp. 1-15. Springer. Heidelberg (2007)
6. Stevens, P.: A landscape of bidirectional model transformations. In: Postproceedings of GTTSE 2007 (to appear, 2008)