A strategy language for graph rewriting

DOI10.1007/978-3-642-32211-2_12zbMATH Open1377.68098OpenAlexW1599883712MaRDI QIDQ4909323FDOQ4909323

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

Recommendations

• Strategic port graph rewriting: an interactive modelling framework
• A kernel language for programmed rewriting of (hyper)graphs
• Publication:4944885
• Formal specification of a graph rewriting system with environments
• Logic based structure rewriting systems

zbMATH Keywords

strategiesgraph rewritingvisual environmentport graph

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Labelled graph strategic rewriting for social networks
• A kernel language for programmed rewriting of (hyper)graphs
• Rewriting Strategies and Strategic Rewrite Programs
• Title not available (Why is that?)
• PORGY
• LEAN: An intermediate language based on graph rewriting
• Title not available (Why is that?)
• Labelled port graph -- a formal structure for models and computations

Uses Software

• GrGen
• Stratego
• PROGRES
• Fujaba
• AGG
• Curry
• GROOVE

This page was built for publication: A strategy language for graph rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909323)