Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook

K Czarnecki, JN Foster, Z Hu, R Lämmel… - Theory and Practice of …, 2009 - Springer
Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

JN Foster, MB Greenwald, JT Moore… - ACM Transactions on …, 2007 - dl.acm.org
We propose a novel approach to the view-update problem for tree-structured data: a domain-
specific programming language in which all expressions denote bidirectional …

Backprop as functor: A compositional perspective on supervised learning

B Fong, D Spivak, R Tuyéras - 2019 34th Annual ACM/IEEE …, 2019 - ieeexplore.ieee.org
A supervised learning algorithm searches over a set of functions A→B parametrised by a
space P to find the best approximation to some ideal function f:A→B. It does this by taking …

Bidirectional model transformations in QVT: semantic issues and open questions

P Stevens - Software & Systems Modeling, 2010 - Springer
We consider the OMG's queries, views and transformations standard as applied to the
specification of bidirectional transformations between models. We discuss what is meant by …

Boomerang: resourceful lenses for string data

A Bohannon, JN Foster, BC Pierce… - Proceedings of the 35th …, 2008 - dl.acm.org
A lens is a bidirectional program. When read from left toright, it denotes an ordinary function
that maps inputs to outputs. When read from right to left, it denotes an''update translator''that …

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

JN Foster, MB Greenwald, JT Moore, BC Pierce… - ACM SIGPLAN …, 2005 - dl.acm.org
We propose a novel approach to the well-known view update problem for the case of tree-
structured data: a domain-specific programming language in which all expressions denote …

Automating the database schema evolution process

C Curino, HJ Moon, A Deutsch, C Zaniolo - The VLDB Journal, 2013 - Springer
Supporting database schema evolution represents a long-standing challenge of practical
and theoretical importance for modern information systems. In this paper, we describe …

A comparison of RDB-to-RDF mapping languages

M Hert, G Reif, HC Gall - Proceedings of the 7th international conference …, 2011 - dl.acm.org
Mapping Relational Databases (RDB) to RDF is an active field of research. The majority of
data on the current Web is stored in RDBs. Therefore, bridging the conceptual gap between …

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 …

Topological Quantum Gates in Homotopy Type Theory

DJ Myers, H Sati, U Schreiber - Communications in Mathematical Physics, 2024 - Springer
Despite the plausible necessity of topological protection for realizing scalable quantum
computers, the conceptual underpinnings of topological quantum logic gates had arguably …