Specification of graph translators with triple graph grammars

DOI10.1007/3-540-59071-4_45zbMath1528.68166OpenAlexW1511832825MaRDI QIDQ6184366

Andy Schürr

Publication date: 5 January 2024

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59071-4_45

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Data structures (68P05)

Related Items (4)

Constructing constraint-preserving interaction schemes in adhesive categories ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Pair grammars, graph languages and string-to-graph translations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification of graph translators with triple graph grammars