Boomerang: resourceful lenses for string data

No abstract is available for this paper.

• Publication year

  2008

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  2008-01-07

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1328438.1328487
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Codes and Automata

  2009cited by this paper
• Multi-language Synchronization

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

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

  2006cited by this paper
• biXid: a bidirectional transformation language for XML

  2006cited by this paper
• There and back again: arrows for invertible programming

  2005cited by this paper
• Exploiting schemas in data synchronization

  2005influential reference
• PADS: a domain-specific language for processing ad hoc data

  2005cited by this paper
• Dual syntax for XML languages

  2005cited by this paper
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

  2005influential reference
• An Algebraic Approach to Bi-directional Updating

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

  2004cited by this paper
• Lineage tracing for general data warehouse transformations

  2003cited by this paper
• Embedding an interpreted language using higher-order functions and types

  2003cited by this paper
• Regular Expression Types for Strings in a Text Processing Language

  2003cited by this paper
• Why and Where: A Characterization of Data Provenance

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

  1998influential reference
• Finite-State Language Processing

  1997cited by this paper
• Update semantics of relational views

  1981cited by this paper
• Derivatives of Regular Expressions

  1964cited by this paper
• Finite Automata and Their Decision Problems

  1959cited by this paper
• Íòòòö Óò××××öøøóò Óö Ôùùðð Blockinøøóò Ò Âº Ùò Blockinøøóòòð Èöóöñññòò

  year unknowncited by this paper

• Lenses for Partially-Specified States (Extended Version)

  2026cites this paper
• Bean: A Language for Backward Error Analysis

  2025cites this paper
• Towards Examining the Complexity of Consistency

  2025cites this paper
• Precise Reasoning about Container-Internal Pointers with Logical Pinning

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

  2025cites this paper
• Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra

  2025cites this paper
• Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence

  2025cites this paper
• A quantitative approach to global state composition

  2025cites this paper
• Characterizations of Partial Well-Behaved Lenses

  2025cites this paper
• Biparsers: Exact Printing for Data Synchronisation

  2025cites this paper
• Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

  2024cites this paper
• Formal Foundations of Consistency in Model-Driven Development

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

  2024cites this paper
• Deep Learning with Parametric Lenses

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

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

  2023influential citation
• A theoretic framework of bidirectional transformation between systems and models

  2022cites this paper
• Aeneas: Rust verification by functional translation

  2022cites this paper
• Technical Report: Match-reference regular expressions and lenses

  2022influential citation
• Report on the Tenth International Workshop on Bidirectional Transformations (BX 2022)

  2022cites this paper
• Tower: data structures in Quantum superposition

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

  2021influential citation
• Controllable and decomposable multidirectional synchronizations

  2021cites this paper
• Category Theory in Machine Learning

  2021cites this paper
• C-Lenses Explained: Bx Foundations for the Rest of Us

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

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

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

  2021cites this paper
• Categorical Foundations of Gradient-Based Learning

  2021cites this paper
• Files-as-Filesystems for POSIX Shell Data Processing

  2021cites this paper
• Retentive Lenses

  2020cites this paper
• Synthesizing Lenses

  2020influential citation
• An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update

  2020influential citation
• Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

  2020cites this paper
• Applying Bidirectional Transformations to the Design of Interoperable EMR Systems

  2020cites this paper
• Bidirectional Programming for Parsing and Retentive Printing

  2020influential citation
• Unified Configuration Setting Access in Configuration Management Systems

  2020cites this paper
• ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

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

  2019cites this paper
• Composing bidirectional programs monadically (with appendices)

  2019cites this paper
• Fully Convolutional DenseNets for Polyp Segmentation in Colonoscopy

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

  2019cites this paper
• ASN.1 Encoding Schemes Done Right Using CMPCT

  2019cites this paper
• Consistency management via a combination of triple graph grammars and linear programming

  2019cites this paper
• Introduction to Bidirectional Transformations

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

  2018cites this paper
• Synthesizing quotient lenses

  2018cites this paper
• A survey of model transformation design patterns in practice

  2018cites this paper
• Developing a Type System for a Configuration Specification Language

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

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

  2018cites this paper
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

  2018cites this paper
• Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

  2018cites this paper
• Applicative bidirectional programming

  2018influential citation
• Synthesizing symmetric lenses

  2018influential citation
• Bidirectional evaluation with direct manipulation

  2018cites this paper
• V: a language with extensible record accessors and a trait-based type system

  2018cites this paper
• Narcissus: correct-by-construction derivation of decoders and encoders from binary formats

  2018cites this paper
• Regular Programming Over Data Streams

  2017influential citation
• Explorer Bidirectionally Tolerating Inconsistency : Partial Transformations

  2017cites this paper
• Polymorphic Manifest Contracts, Revised and Resolved

  2017influential citation
• An axiomatic basis for bidirectional programming

  2017cites this paper
• Synthesizing bijective lenses

  2017cites this paper
• Explorer Towards a Repository of Bx Examples

  2017cites this paper
• COST Action IC1405 Reversible computation

  2017cites this paper
• Toward Product Lines of Mathematical Models for Software Model Management

  2017cites this paper
• Creating a Bi-Directional Source-to-Source Compiler Using MDE Transformation Techniques: A Proof-of-Concept Using the General-Purpose Programming

  2017influential citation
• Language-Based Data Sharing in Web Applications

  2017cites this paper
• Composable Compilers: Evolution toward a practical reality

  2017cites this paper
• The End of History? Using a Proof Assistant to Replace Language Design with Library Design

  2017cites this paper
• Bidirectional Grammars for Machine-Code Decoding and Encoding

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

  2016influential citation
• Automated Inversion of Attribute Mappings in Bidirectional Model Transformations

  2016cites this paper
• Improving system integration using a modular configuration specification language

  2016cites this paper
• Verified Software. Theories, Tools, and Experiments

  2016influential citation
• GRACE TECHNICAL

  2016cites this paper
• Supporting Selective Undo for Refactoring

  2016cites this paper
• The Form of Scientific Papers in Online Historical Journals

  2016cites this paper
• Constraints as polymorphic connectors

  2016cites this paper
• Reusable Self-Adaptation through Bidirectional Programming

  2016cites this paper
• On Static Verification of Puppet System Configurations

  2015cites this paper
• Programmatic and direct manipulation, together at last

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

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

  2015cites this paper
• The essence of bidirectional programming

  2015cites this paper
• Applicative bidirectional programming with lenses

  2015cites this paper
• Bidirectional Transformation on Ordered Graphs

  2015cites this paper
• Rehearsal: a configuration verification tool for puppet

  2015influential citation
• Towards an Algebraic Theory of Bidirectional Transformations

  2015cites this paper
• Model transformation languages for domain-specific workbenches

  2015cites this paper
• DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations

  2015cites this paper
• Projectional editing of variational software

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

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

  2015cites this paper
• An Approach for Generalized Reversible Functional Programming

  2015cites this paper
• Program Synthesis for Direct Manipulation Interfaces

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

  2015cites this paper
• Automated Inversion of Attribute Mapping Expressions for Multi-Model Consistency

  2015cites this paper
• Bidirectional spreadsheet formulas

  2014cites this paper
• Symmetric Edit Lenses: A New Foundation for Bidirectional Languages

  2014influential citation