Notions of bidirectional computation and entangled state monads

@inproceedings{AbouSaleh2015NotionsOB,
  title={Notions of bidirectional computation and entangled state monads},
  author={Faris Abou-Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens},
  booktitle={MPC},
  year={2015}
}
Bidirectional transformations (bx) support principled consistency maintenance between data sources. Each data source corresponds to one perspective on a composite system, manifested by operations to ‘get’ and ‘set’ a view of the whole from that particular perspective. Bx are important in a wide range of settings, including databases, interactive applications, and model-driven development. We show that bx are naturally modelled in terms of mutable state; in particular, the ‘set’ operations are… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Symmetric lenses

View 7 Excerpts
Highly Influenced

Notions of Computation and Monads

Inf. Comput. • 1991
View 4 Excerpts
Highly Influenced

Side-effect monad, its equational theory and applications

Olha Shkaravska
Seminar slides available at: http://www.ioc.ee/~tarmo/tsem05/shkaravska1512-slides.pdf, • 2005
View 2 Excerpts
Highly Influenced

Notions of bidirectional computation and entangled state monads

F. Abou-Saleh, J. Cheney, J. Gibbons, J. McKinna, P. Stevens
2015

A coalgebraic approach to bidirectional transformations

Faris Abou-Saleh, James McKinna
Short presentation at CMCS, • 2014
View 3 Excerpts

Similar Papers

Loading similar papers…