A Heterogeneous Pushout Approach to Term-Graph Transformation

DOI10.1007/978-3-642-02348-4_14zbMath1242.68127OpenAlexW1600578407MaRDI QIDQ3636827

Dominique Duval, Frédéric Prost, Rachid Echahed

Publication date: 30 June 2009

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02348-4_14

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Data structures (68P05)

Related Items (2)

AGREE – Algebraic Graph Rewriting with Controlled Embedding ⋮ Unnamed Item

Cites Work

• Algebraic approach to single-pushout graph transformation
• On graph rewritings
• On ``On graph rewritings
• Modeling Pointer Redirection as Cyclic Term-graph Rewriting
• Static prediction of heap space usage for first-order functional programs
• Inductively Sequential Term-Graph Rewrite Systems
• Sesqui-Pushout Rewriting
• Adaptive Star Grammars
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Heterogeneous Pushout Approach to Term-Graph Transformation