Bidirectionalizing graph transformations

No abstract is available for this paper.

• Publication year

  2010

• Venue

  ACM SIGPLAN International Conference on Functional Programming

• Publication date

  2010-09-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1863543.1863573
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Tools of model transformation by graph transformation: A comparative study

  2012cited by this paper
• The view update problem for XML

  2010cited by this paper
• Propagating updates through XML views using lineage tracing

  2010cited by this paper
• Towards a compositional approach to model transformation for software development

  2009cited by this paper
• Bidirectional Transformations: A Cross-Discipline Perspective

  2009cited by this paper
• Provenance Traces

  2008cited by this paper
• 15 Years of Triple Graph Grammars

  2008cited by this paper
• Bidirectionalization transformation based on automatic derivation of view complement functions

  2007cited by this paper
• Bidirectional model transformations in QVT: semantic issues and open questions

  2007cited by this paper
• Bidirectional interpretation of XQuery

  2007cited by this paper
• Model-driven architecture in practice - a software production environment based on conceptual modeling

  2007cited by this paper
• Relational lenses: a language for updatable views

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

  2005cited by this paper
• Model Transformations in Practice Workshop

  2005cited by this paper
• Transforming Models with ATL

  2005cited by this paper
• A programmable editor for developing structured documents based on bidirectional transformations

  2004cited by this paper
• On the computation of relational view complements

  2003cited by this paper
• Principles of Inverse Computation and the Universal Resolving Algorithm

  2002cited by this paper
• UnQL: a query language and algebra for semistructured data based on structural recursion

  2000cited by this paper
• A needed narrowing strategy

  2000cited by this paper
• Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997).

  1999cited by this paper
• A graph query language and its query processing

  1999cited by this paper
• Designing Constraint Maintainers for User Interaction

  1998cited by this paper
• Object exchange across heterogeneous information sources

  1995cited by this paper
• Partial Deduction and Driving are Equivalent

  1994cited by this paper
• A fold for all seasons

  1993cited by this paper
• Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree

  1993cited by this paper
• Structural Recursion as a Query Language

  1992cited by this paper
• Foundations of Canonical Update Support for Closed Database Views

  1990cited by this paper
• Properties and update semantics of consistent views

  1988cited by this paper
• Updates of Relational Views

  1984cited by this paper
• On the correct translation of update operations on relational views

  1982cited by this paper
• Update semantics of relational views

  1981cited by this paper

• Lenses for Partially-Specified States (Extended Version)

  2026influential citation
• Intentionally Fusing Direct Manipulations into SVG Programs

  2025cites this paper
• Enabling direct manipulation of plain-text output for template programs

  2025cites this paper
• BIT: A template-based approach to incremental and bidirectional model-to-text transformation

  2024cites this paper
• Partial Bidirectionalization of Model Transformation Languages

  2024cites this paper
• Contract lenses: Reasoning about bidirectional programs via calculation

  2023cites this paper
• Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects

  2023cites this paper
• Bidirectional Collaborative Frameworks for Decentralized Data Management

  2022cites this paper
• Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022)

  2022cites this paper
• Conflict-free Collaborative Set Sharing for Distributed Systems

  2021cites this paper
• Operation-based Collaborative Data Sharing for Distributed Systems

  2021cites this paper
• Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations

  2020cites this paper
• Sparcl: a language for partially-invertible computation

  2020cites this paper
• Synthesizing Lenses

  2020cites this paper
• Confluence in Lens Synthesis

  2020cites this paper
• Engineering Adaptive Software Systems

  2019cites this paper
• Toward BX-Based Architecture for Controlling and Sharing Distributed Data

  2019cites this paper
• Bidirectional Transformations for Self-Adaptive Systems

  2019cites this paper
• Design and Engineering of Adaptive Software Systems

  2019cites this paper
• Programmable view update strategies on relations

  2019cites this paper
• Towards a Complete Picture of Lens Laws

  2019cites this paper
• Characterizing Compatible View Updates in Syntactic Bidirectionalization

  2019cites this paper
• Incremental relational lenses

  2018cites this paper
• Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -

  2018cites this paper
• A View-based Programmable Architecture for Controlling and Integrating Decentralized Data

  2018cites this paper
• HOBiT: Programming Lenses Without Using Lens Combinators

  2018cites this paper
• Applicative bidirectional programming

  2018cites this paper
• Bidirectional evaluation with direct manipulation

  2018influential citation
• EVL+Strace: a novel bidirectional model transformation approach

  2018cites this paper
• Un-preprocessing: Extended CPP that works with your tools

  2017cites this paper
• Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories

  2017cites this paper
• Formalizing semantic bidirectionalization and extensions with dependent types

  2017cites this paper
• A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

  2017cites this paper
• Synthesizing bijective lenses

  2017cites this paper
• Lazy graph processing in Haskell

  2016cites this paper
• Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories

  2016cites this paper
• Principles and Practice of Bidirectional Programming in BiGUL

  2016cites this paper
• Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing

  2016cites this paper
• GRACE TECHNICAL

  2016cites this paper
• BiGUL: a formally verified core language for putback-based bidirectional programming

  2016cites this paper
• Guaranteeing Free-edits to Bidirectional Graph Transformations

  2016cites this paper
• Integrating behavior analysis into architectural modeling

  2015influential citation
• Applicative bidirectional programming with lenses

  2015cites this paper
• Iteration Algebras for UnQL Graphs and Completeness for Bisimulation

  2015cites this paper
• Feature-based classification of bidirectional transformation approaches

  2015influential citation
• "Why can't I do that?": Tracing Adaptive Security Decisions

  2015cites this paper
• Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations

  2015influential citation
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility

  2015cites this paper
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

  2015cites this paper
• The essence of bidirectional programming

  2015cites this paper
• Towards Attribute-Based Authorisation for Bidirectional Programming

  2015cites this paper
• Dependent Inductive and Coinductive Types are Fibrational Dialgebras

  2015cites this paper
• A Feature-Based Classification of Model Repair Approaches

  2015cites this paper
• "Bidirectionalization for free" for monomorphic transformations

  2015cites this paper
• Bidirectional Transformation on Ordered Graphs

  2015cites this paper
• Graph Transformation as Graph Reduction FUnCAL: A Functional Reformulation of Graph-Transformation Language UnCAL

  2015influential citation
• Defining complex rule-based models in space and over time

  2015cites this paper
• A Feature-based Classication of Model Repair Approaches (First Draft)

  2015cites this paper
• A Trace-based Approach to Increased Comprehensibility and Predictability of Bidirectional Graph Transformations ∗

  2015cites this paper
• Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages. (Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés )

  2014cites this paper
• Formal analysis of model transformations based on triple graph grammars

  2014cites this paper
• GRACE TECHNICAL REPORTS On the use of Bidirectional Transformations for Translational Semantics

  2014cites this paper
• Collaborative Construction of Updatable Digital Critical Editions: A Generic Approach

  2014cites this paper
• Monadic combinators for "Putback" style bidirectional programming

  2014cites this paper
• Validity Checking of Putback Transformations in Bidirectional Programming

  2014cites this paper
• A relational approach to bidirectional transformation

  2014influential citation
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique

  2014cites this paper
• The Open University ’ s repository of research publications and other research outputs Issues in representing domain-specific concerns in model-driven engineering

  2014cites this paper
• A Relational Approach to

  2014cites this paper
• Facilités de typage pour l'ingénierie des langages. (Typing facilities for language engineering)

  2013cites this paper
• Edit languages for information trees

  2013cites this paper
• A parameterized graph transformation calculus for finite graphs with monadic branches

  2013cites this paper
• Model-based analysis of role-based access control

  2013cites this paper
• A Generic Scheme and Properties of Bidirectional Transformations

  2013cites this paper
• An expressive bidirectional transformation language for XQuery view update (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

  2013cites this paper
• Structural recursion for querying ordered graphs

  2013cites this paper
• University ’ s repository of research publications and other research outputs Issues in representing domain-specific concerns in model-driven engineering Conference Item

  2013cites this paper
• Report on the international symposium on high confidence software (ISHCS 2011/2012)

  2013cites this paper
• Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7)

  2013cites this paper
• Issues in representing domain-specific concerns in model-driven engineering

  2013cites this paper
• Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem

  2013cites this paper
• A Bidirectional Framework for Model Synchronization in Component-Based Software Development

  2013cites this paper
• Electronic Communications of the EASST Volume 57 ( 2013 ) Proceedings of the Second International Workshop on Bidirectional Transformations ( BX 2013 ) A Bidirectional Collaboration Framework for Bio-Model Development

  2013cites this paper
• Electronic Communications of the EASST Volume 57 ( 2013 ) Proceedings of the Second International Workshop on Bidirectional Transformations ( BX 2013 ) Edit languages for information trees

  2013cites this paper
• Composing Least-change Lenses

  2013cites this paper
• Practical aspects of bidirectional graph transformations

  2013cites this paper
• Programming language approaches to bidirectional transformation

  2012cites this paper
• Model Transformation Patterns for Introducing Suitable Information Systems

  2012cites this paper
• Relational and Algebraic Methods in Computer Science

  2012influential citation
• Electronic Communications of the EASST Volume 49 ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Delta Lenses over Inductive Types

  2012cites this paper
• The Open University ’ s repository of research publications and other research outputs Maintaining invariant traceability through bidirectional transformations Conference Item

  2012cites this paper
• Maintaining invariant traceability through bidirectional transformations

  2012cites this paper
• Linguistic foundations for bidirectional transformations: invited tutorial

  2012cites this paper
• Automating presentation changes in dynamic web applications via collaborative hybrid analysis

  2012cites this paper
• iGRT : A Generic Interface for GRoundTram

  2012cites this paper
• Edit lenses

  2012cites this paper
• Bidirectional data transformation by calculation

  2012influential citation
• Incremental model synchronization with precedence-driven triple graph grammars

  2012cites this paper
• Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants

  2012cites this paper
• GRACE TECHNICAL REPORTS iGRT: A Generic Interface for GRoundTram

  2012cites this paper