Programming language approaches to bidirectional transformation

Authors:
Janis Voigtländer
Affiliations:
University of Bonn, Germany
Venue:
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Year:
2012

Citing 12
Cited 0

Update semantics of relational views

ACM Transactions on Database Systems (TODS)
A programmable editor for developing structured documents based on bidirectional transformations

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Relational lenses: a language for updatable views

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Bidirectionalization transformation based on automatic derivation of view complement functions

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Bidirectionalization for free! (Pearl)

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectionalizing graph transformations

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Generic point-free lenses

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Incremental updates for efficient bidirectional transformations

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Ideas for connecting inductive program synthesis and bidirectionalization

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Three complementary approaches to bidirectional programming

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Bidirectional transformations are pairs of transformations going back and forth between two data domains, possibly taking extra information into account to disambiguate in one or both directions, while being governed by certain consistency conditions. Application scenarios are view-update propagation in databases, model-driven engineering, and programming environments like structured editors, among others. Consequently, diverse disciplines contribute to the interest and development in this area. We focus on approaches that, rather than being centered on the data, take the involved transformations seriously as programs to analyze and manipulate.