Towards Attribute-Based Authorisation for Bidirectional Programming
Lionel Montrieux, Zhenjiang Hu · 2015
Bidirectional programming allows developers to write programs that will produce transformations that extract data from a source document into a view. The same transformations can then be used to update the source in order to propagate the changes made to the view, provided that the transformations satisfy two essential properties.