Bidirectionalizing graph transformations
From MaRDI portal
Publication:5176941
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
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
