A programmable editor for developing structured documents based on bidirectional transformations

DOI10.1007/S10990-008-9025-5zbMATH Open1194.68096OpenAlexW2010019177MaRDI QIDQ2271900FDOQ2271900

Authors: Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi 

Publication date: 4 August 2009

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-008-9025-5

Recommendations

• Bidirectionalization transformation based on automatic derivation of view complement functions
• Applicative bidirectional programming with lenses
• Bidirectionalizing graph transformations
• Principles and practice of bidirectional programming in BiGUL
• Introduction to bidirectional transformations

zbMATH Keywords

functional programmingview updatingbidirectional transformationdocument engineeringstructured editor

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of software (68N99)

Cites Work

• Mathematics of Program Construction
• Programming Languages and Systems
• A program inverter for a functional language with equality and constructors.
• Update semantics of relational views
• Typechecking for XML transformers
• On the correct translation of update operations on relational views
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Properties and update semantics of consistent views

Cited In (9)

• Engineering bidirectional transformations
• Principles and practice of bidirectional programming in BiGUL
• Fundamentals of reversible flowchart languages
• EditorArrow: An arrow-based model for editor-based programming
• A Tangled Web of 12 Lens Laws
• Formalizing semantic bidirectionalization and extensions with dependent types
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Programming Languages and Systems
• Relations as executable specifications: taming partiality and non-determinism using invariants

Uses Software

• Haskell
• CDuce

This page was built for publication: A programmable editor for developing structured documents based on bidirectional transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2271900)