Symmetric lenses

M Hofmann, B Pierce, D Wagner - ACM SIGPLAN Notices, 2011 - dl.acm.org
Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …

Synthesizing bijective lenses

A Miltner, K Fisher, BC Pierce, D Walker… - Proceedings of the …, 2017 - dl.acm.org
Bidirectional transformations between different data representations occur frequently in
modern software systems. They appear as serializers and deserializers, as parsers and …

Bidirectional evaluation with direct manipulation

M Mayer, V Kuncak, R Chugh - … of the ACM on Programming Languages, 2018 - dl.acm.org
We present an evaluation update (or simply, update) algorithm for a full-featured functional
programming language, which synthesizes program changes based on output changes …

Map** architecture with incremental view maintenance

A Adya, JA Blakeley, PA Larson, S Melnik - US Patent 7,680,767, 2010 - Google Patents
A data access architecture is provided that includes a map** architecture for map**
data as may be used by an application to data as persisted in a database. The map** …

Bidirectional programming languages

JN Foster - 2009 - search.proquest.com
The need to edit source data through a view arises in a host of applications across many
different areas of computing. Unfortunately, few existing systems provide support for …

Towards change propagating test models in autonomic and adaptive systems

M Akour, A Jaidev, TM King - 2011 18th IEEE International …, 2011 - ieeexplore.ieee.org
Autonomic and adaptive computing systems can add, remove, and replace their own
components in response to a changing environment. Self-adaptation facilitates the …

Incremental relational lenses

R Horn, R Perera, J Cheney - Proceedings of the ACM on Programming …, 2018 - dl.acm.org
Lenses are a popular approach to bidirectional transformations, a generalisation of the view
update problem in databases, in which we wish to make changes to source tables to effect a …