Conference icon

Conference

Notions of Bidirectional Computation and Entangled State Monads

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

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

Actions


Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of
Role:
Author
More by this author
Institution:
University of Oxford
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of
Role:
Author
URN:
uuid:fc68fd62-7ce2-4a35-bb18-cfc6c74a3520
Local pid:
ora:11646
Language:
English

Metrics


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