A Tangled Web of 12 Lens Laws

DOI10.1007/978-3-030-79837-6_11MaRDI QIDQ5162609zbMATH OpenOpenAlexFDO

Authors Keisuke Nakano

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-79837-6_11

zbMATH Keywords

asymmetric lens lawsbidirectional transformation

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• A clear picture of lens laws
• Lens sequences
• The more legs the merrier: a new composition for symmetric (multi-)lenses
• Reflections on monadic lenses
• scientific article; zbMATH DE number 6729606

Cites work

• A clear picture of lens laws
• A programmable editor for developing structured documents based on bidirectional transformations
• Bidirectionalizing graph transformations
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Exploiting schemas in data synchronization
• Marker-directed optimization of UnCAL graph transformations
• Quotient lenses
• Three complementary approaches to bidirectional programming
• Update semantics of relational views

This page was built for publication: A Tangled Web of 12 Lens Laws

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