A Strategy Language for Graph Rewriting
From MaRDI portal
Publication:4909323
DOI10.1007/978-3-642-32211-2_12zbMath1377.68098MaRDI QIDQ4909323
Hélène Kirchner, Maribel Fernández, Olivier Namet
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00684244/file/maincameraready.pdf
68Q42: Grammars and rewriting systems
Related Items
PORGY, Labelled port graph -- a formal structure for models and computations, Labelled graph strategic rewriting for social networks, Multilevel coupled model transformations for precise and reusable definition of model behaviour, Rewriting Strategies and Strategic Rewrite Programs
Uses Software