A programmable editor for developing structured documents based on bidirectional transformations

DOI10.1007/s10990-008-9025-5zbMath1194.68096OpenAlexW2010019177MaRDI QIDQ2271900

Zhenjiang Hu, Masato Takeichi, Shin-Cheng Mu

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)

Related Items

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Fundamentals of reversible flowchart languages ⋮ Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins ⋮ A Tangled Web of 12 Lens Laws

Uses Software

• Haskell
• CDuce

Cites Work

• Typechecking for XML transformers
• Properties and update semantics of consistent views
• Update semantics of relational views
• On the correct translation of update operations on relational views
• Combinators for bi-directional tree transformations
• Mathematics of Program Construction
• Programming Languages and Systems
• Programming Languages and Systems