Marker-Directed Optimization of UnCAL Graph Transformations

DOI10.1007/978-3-642-32211-2_9zbMath1377.68074OpenAlexW1522220541MaRDI 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

zbMATH Keywords

program transformationsgraph transformationsUnCAL

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Unnamed Item ⋮ A Tangled Web of 12 Lens Laws ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

This page was built for publication: Marker-Directed Optimization of UnCAL Graph Transformations