Journal article icon

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 prev...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.5381/jot.2017.16.1.a1

Authors


More by this author
Institution:
University of Oxford
Division:
Societies, Other & Subsidiary Companies
Department:
Kellogg College
Oxford college:
Kellogg College
Role:
Author
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 Publisher's website
Journal:
Journal of Object Technology Journal website
Volume:
16
Issue:
1
Pages:
1-29
Publication date:
2017-01-01
Acceptance date:
2016-08-22
DOI:
ISSN:
1660-1769
Source identifiers:
660004
Keywords:
Pubs id:
pubs:660004
UUID:
uuid:9d88c774-9512-409d-b58b-e75b0cb63bc0
Local pid:
pubs:660004
Deposit date:
2016-11-17

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP