Symmetric lenses
Lenses--bidirectional transformations between pairs of connected structures--have been
extensively studied and are beginning to find their way into industrial practice. However …
extensively studied and are beginning to find their way into industrial practice. However …
Synthesizing bijective lenses
Bidirectional transformations between different data representations occur frequently in
modern software systems. They appear as serializers and deserializers, as parsers and …
modern software systems. They appear as serializers and deserializers, as parsers and …
Bidirectional evaluation with direct manipulation
We present an evaluation update (or simply, update) algorithm for a full-featured functional
programming language, which synthesizes program changes based on output changes …
programming language, which synthesizes program changes based on output changes …
Map** architecture with incremental view maintenance
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** …
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 …
different areas of computing. Unfortunately, few existing systems provide support for …
Towards change propagating test models in autonomic and adaptive systems
Autonomic and adaptive computing systems can add, remove, and replace their own
components in response to a changing environment. Self-adaptation facilitates the …
components in response to a changing environment. Self-adaptation facilitates the …
Incremental relational lenses
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 …
update problem in databases, in which we wish to make changes to source tables to effect a …