Bidirectionalizing graph transformations
From MaRDI portal
Publication:5176941
DOI10.1145/1863543.1863573zbMath1323.68075MaRDI QIDQ5176941
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato
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
68P15: Database theory
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
68P20: Information storage and retrieval of data
Related Items