Journal article
Coalgebraic aspects of bidirectional computation
- Abstract:
- We have previously (Bx, 2014; MPC, 2015) shown that several statebased bx formalisms can be captured using monadic functional programming, using the state monad together with possibly other monadic effects, giving rise to structures we have called monadic bx (mbx). In this paper, we develop a coalgebraic theory of state-based bx, and relate the resulting coalgebraic structures (cbx) to mbx. We show that cbx support a notion of composition coherent with, but conceptually simpler than, our previous mbx definition. Coalgebraic bisimulation yields a natural notion of behavioural equivalence on cbx, which respects composition, and essentially includes symmetric lens equivalence as a special case. Finally, we speculate on the applications of this coalgebraic perspective to other bx constructions and formalisms.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 2.8MB, Terms of use)
-
- Publisher copy:
- 10.5381/jot.2017.16.1.a1
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Grant:
- A Theory of Least Change for Bidirectional Transformations [TLC16] (EP/K020218/1, EP/K020919/1
- Publisher:
- Association Internationale pour les Technologies Objets
- Journal:
- Journal of Object Technology More from this journal
- Volume:
- 16
- Issue:
- 1
- Pages:
- 1-29
- Publication date:
- 2017-01-01
- Acceptance date:
- 2016-08-22
- DOI:
- ISSN:
-
1660-1769
- Keywords:
- Pubs id:
-
pubs:660004
- UUID:
-
uuid:9d88c774-9512-409d-b58b-e75b0cb63bc0
- Local pid:
-
pubs:660004
- Source identifiers:
-
660004
- Deposit date:
-
2016-11-17
Terms of use
- Copyright holder:
- Abou-Saleh et al
- Copyright date:
- 2017
- Notes:
- Licensed under Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0).
If you are the owner of this record, you can report an update to it here: Report update to this record