Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
Three complementary approaches to bidirectional programming
This paper surveys three distinct approaches to bidirectional programming. The first
approach, syntactic bidirectionalization, takes a program describing the forward …
approach, syntactic bidirectionalization, takes a program describing the forward …
Quotient lenses
There are now a number of BIDIRECTIONAL PROGRAMMING LANGUAGES, where every
program can be read both as a forward transformation map** one data structure to …
program can be read both as a forward transformation map** one data structure to …
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 …
Model synchronization: Map**s, tiles, and categories
The paper presents a novel algebraic framework for specification and design of model
synchronization tools. The basic premise is that synchronization procedures, and hence …
synchronization tools. The basic premise is that synchronization procedures, and hence …
Heterogeneous coupled evolution of software languages
As most software artifacts, meta-models can evolve. Their evolution requires conforming
models to co-evolve along with them. Coupled evolution supports this. Its applicability is not …
models to co-evolve along with them. Coupled evolution supports this. Its applicability is not …
Recovering grammar relationships for the Java Language Specification
Grammar convergence is a method that helps in discovering relationships between different
grammars of the same language or different language versions. The key element of the …
grammars of the same language or different language versions. The key element of the …
Coupled transformation of schemas, documents, queries, and constraints
Coupled transformation occurs when multiple software artifacts must be transformed in such
a way that they remain consistent with each other. For instance, when a database schema is …
a way that they remain consistent with each other. For instance, when a database schema is …
Generic point-free lenses
Lenses are one the most popular approaches to define bidirectional transformations
between data models. A bidirectional transformation with view-update, denoted a lens …
between data models. A bidirectional transformation with view-update, denoted a lens …
Program analysis and transformation for data-intensive system evolution
Data-intensive software systems are generally made of a database and a collection of
application programs in strong interaction with the former. They constitute critical assets in …
application programs in strong interaction with the former. They constitute critical assets in …