Notions of bidirectional computation and entangled state monads

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Abstract

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 stateful functions. This leads naturally to considering bx that exploit other computational effects too, such as I/O, nondeterminism, and failure, all largely ignored in the bx literature to date. We present a semantic foundation for symmetric bidirectional transformations with effects.We build on the mature theory of monadic encapsulation of effects in functional programming, develop the equational theory and important combinators for effectful bx, and provide a prototype implementation in Haskell along with several illustrative examples.

Original languageEnglish
Title of host publicationMathematics of Program Construction. MPC 2015
EditorsJanis Voigtländer, Ralf Hinze
PublisherSpringer
Pages187-214
Number of pages28
ISBN (Electronic)9783319197975
ISBN (Print)9783319197968
DOIs
Publication statusPublished - 2015
Event12th International Conference on Mathematics of Program Construction 2015 - Konigswinter, Germany
Duration: 29 Jun 20151 Jul 2015

Publication series

NameLecture Notes in Computer Science
Volume9129
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Conference on Mathematics of Program Construction 2015
Abbreviated titleMPC 2015
CountryGermany
CityKonigswinter
Period29/06/151/07/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Notions of bidirectional computation and entangled state monads'. Together they form a unique fingerprint.

  • Cite this

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., & Stevens, P. (2015). Notions of bidirectional computation and entangled state monads. In J. Voigtländer, & R. Hinze (Eds.), Mathematics of Program Construction. MPC 2015 (pp. 187-214). (Lecture Notes in Computer Science; Vol. 9129). Springer. https://doi.org/10.1007/978-3-319-19797-5_9