An efficient composition of bidirectional programs by memoization and lazy update

DOI10.1007/978-3-030-59025-3_10OpenAlexW3086637025MaRDI QIDQ2039945

Robert Glück, Kanae Tsushima, Bach Nguyen Trong, Zhenjiang Hu

Publication date: 6 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-59025-3_10

zbMATH Keywords

optimizationefficiencybidirectional transformationtuplingimplementation technique

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Cites Work

• Unnamed Item
• Deforestation: Transforming programs to eliminate trees
• Boomerang
• A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation
• Update semantics of relational views
• Combinators for bi-directional tree transformations

This page was built for publication: An efficient composition of bidirectional programs by memoization and lazy update