Transformation of shaped nested graphs and diagrams

DOI10.1016/S1571-0661(04)00294-4MaRDI QIDQ2841248zbMATH OpenFDO

Authors Berthold Hoffmann, Mark Minas

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00294-4

zbMATH Keywords

diagram languagenested graphstructural graph typingtransformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 2097775
• scientific article; zbMATH DE number 2016075
• Hierarchical graph transformation
• scientific article; zbMATH DE number 1512612
• Graph transformation for specification and programming

Cites work

• Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph).
• Concepts and realization of a diagram editor generator based on hypergraph transformation
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformat
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1670819 (Why is no real title available?)
• scientific article; zbMATH DE number 3780596 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 177461 (Why is no real title available?)
• scientific article; zbMATH DE number 1512612 (Why is no real title available?)
• scientific article; zbMATH DE number 969074 (Why is no real title available?)
• Structured gamma
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(3)

• Nested Quantification in Graph Transformation Rules
• scientific article; zbMATH DE number 2016075 (Why is no real title available?)
• scientific article; zbMATH DE number 2097775 (Why is no real title available?)

Describes a project that uses

Uses Software

• DiaGen

This page was built for publication: Transformation of shaped nested graphs and diagrams

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