Foundations for Bidirectional Programming

Authors:
Benjamin C. Pierce
Affiliations:
University of Pennsylvania,
Venue:
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Year:
2009

Citing 17
Cited 1

Properties and update semantics of consistent views

ACM Transactions on Database Systems (TODS)
Update semantics of relational views

ACM Transactions on Database Systems (TODS)
Embedding an interpreted language using higher-order functions and types

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
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
FUNCTIONAL PEARL Pickler combinators

Journal of Functional Programming
PADS: a domain-specific language for processing ad hoc data

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Embedded interpreters

Journal of Functional Programming
There and back again: arrows for invertible programming

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Relational lenses: a language for updatable views

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
biXid: a bidirectional transformation language for XML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
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
Boomerang: resourceful lenses for string data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dual syntax for XML languages

Information Systems
Quotient lenses

Proceedings of the 13th 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
Updatable Security Views

CSF '09 Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium
Bidirectional model transformations in QVT: semantic issues and open questions

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

To inclusive design through contextually extended IoC: infusion IoC, a JavaScript library and mentality for scalable development of accessible and maintainable systems

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most programs get used in just one direction, from input to output. But sometimes, having computed an output, we need to be able to update this output and then "calculate backwards" to find a correspondingly updated input. The problem of writing such bidirectional transformations ---often called lenses ---arises in applications across a multitude of domains and has been attacked from many perspectives [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16, etc.]. See [17] for a detailed survey.