A programmable editor for developing structured documents based on bidirectional transformations

DOI10.1007/S10990-008-9025-5MaRDI QIDQ2271900zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

functional programmingview updatingbidirectional transformationdocument engineeringstructured editor

Mathematics Subject Classification ID

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

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

Cites work

• A program inverter for a functional language with equality and constructors.
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Mathematics of Program Construction
• On the correct translation of update operations on relational views
• Programming Languages and Systems
• Properties and update semantics of consistent views
• Typechecking for XML transformers
• Update semantics of relational 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
• Relations as executable specifications: taming partiality and non-determinism using invariants
• Programming Languages and Systems

Describes a project that uses

Uses Software

• CDuce
• Haskell

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)