Bidirectionalizing graph transformations

DOI10.1145/1863543.1863573zbMath1323.68075OpenAlexW2046832714MaRDI QIDQ5176941

Zhenjiang Hu, Keisuke Nakano, Kazuhiro Inaba, Soichiro Hidaka, Hiroyuki Kato, Kazutaka Matsuda

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863573

zbMATH Keywords

structural recursionview updatingbidirectional transformationgraph query and transformation

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Information storage and retrieval of data (68P20)

Related Items (7)

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Formalizing semantic bidirectionalization and extensions with dependent types ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ Unnamed Item ⋮ A Tangled Web of 12 Lens Laws ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

This page was built for publication: Bidirectionalizing graph transformations