Bidirectional Transformations: A Cross-Discipline Perspective: GRACE Meeting Notes, State of the Art, and Outlook
Abstract The GRACE International Meeting on Bidirectional Transformations was held in
December 2008 near Tokyo, Japan. The meeting brought together researchers and …
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 …
specific programming language in which all expressions denote bidirectional …
Backprop as functor: A compositional perspective on supervised learning
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 …
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 …
specification of bidirectional transformations between models. We discuss what is meant by …
Boomerang: resourceful lenses for string data
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 …
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
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 …
structured data: a domain-specific programming language in which all expressions denote …
Automating the database schema evolution process
Supporting database schema evolution represents a long-standing challenge of practical
and theoretical importance for modern information systems. In this paper, we describe …
and theoretical importance for modern information systems. In this paper, we describe …
A comparison of RDB-to-RDF mapping languages
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 …
data on the current Web is stored in RDBs. Therefore, bridging the conceptual gap between …
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 …
computers, the conceptual underpinnings of topological quantum logic gates had arguably …