Principles and Practice of Bidirectional Programming in BiGUL

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Bidirectional Transformations

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-79108-1_4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• BiGUL: a formally verified core language for putback-based bidirectional programming

  2016cited by this paper
• Parsing and reflective printing, bidirectionally

  2016cited by this paper
• Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views

  2016cited by this paper
• The essence of bidirectional programming

  2015cited by this paper
• A Clear Picture of Lens Laws - Functional Pearl

  2015cited by this paper
• BiFluX: A Bidirectional Functional Update Language for XML

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

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

  2014cited by this paper
• Symmetric lenses

  2011cited by this paper
• From state- to delta-based bidirectional model transformations: the symmetric case

  2011cited by this paper
• Matching lenses: alignment and view update

  2010influential reference
• Bidirectionalizing graph transformations

  2010cited by this paper
• Bidirectionalization for free! (Pearl)

  2009cited by this paper
• Bidirectional programming languages

  2009cited by this paper
• Boomerang: resourceful lenses for string data

  2008influential reference
• Bidirectionalization transformation based on automatic derivation of view complement functions

  2007cited by this paper
• Towards automatic model synchronization from model transformations

  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

• Lenses for Partially-Specified States (Extended Version)

  2026cites this paper
• KBX: Verified Model Synchronization via Formal Bidirectional Transformation

  2024cites this paper
• BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language

  2022cites this paper
• Model-driven engineering city spaces via bidirectional model transformations

  2021cites this paper
• Synbit: synthesizing bidirectional programs using unidirectional sketches

  2021cites this paper
• The Future of Programming andModelling: A Vision

  2021cites this paper
• Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars

  2020influential citation
• Bidirectional Programming for Parsing and Retentive Printing

  2020cites this paper
• A lightweight data sharing system based on bidirectional transformations

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

  2018cites this paper
• An axiomatic basis for bidirectional programming

  2017cites this paper