Marker-Directed Optimization of UnCAL Graph Transformations
From MaRDI portal
Publication:4909319
DOI10.1007/978-3-642-32211-2_9zbMath1377.68074MaRDI QIDQ4909319
Kazuhiro Inaba, Kazutaka Matsuda, Hiroyuki Kato, Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Keisuke Nakano
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32211-2_9
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Unnamed Item, A Tangled Web of 12 Lens Laws, The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics