Unfolding Symbolic Attributed Graph Grammars

DOI10.1007/978-3-030-51372-6_5zbMATH Open1502.68159OpenAlexW3037868455MaRDI QIDQ5100727FDOQ5100727

Maryam Ghaffari Saadat, R. Heckel, Fernando Orejas

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_5

zbMATH Keywords

unfolding semanticssymbolic attributed graph transformationvisual smart contracts

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cites Work

• Unfoldings: A partial-order approach to model checking.
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Fundamentals of algebraic graph transformation
• Towards the Verification of Attributed Graph Transformation Systems
• Unfolding semantics of graph transformation
• Unfolding Grammars in Adhesive Categories
• Delaying Constraint Solving in Symbolic Graph Transformation
• Recent Trends in Algebraic Development Techniques
• Lazy graph transformation

Cited In (3)

• Graph Grammar Extraction from Source Code
• Title not available (Why is that?)
• Symbol -- relation grammars: A formalism for graphical languages

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Unfolding graph grammars with negative application conditions 👍 👎
• Apex graph grammars and attribute grammars 👍 👎
• Symbolic graphs for attributed graph constraints 👍 👎
• Title not available (Why is that?) 👍 👎
• Drawing graphs with attribute graph grammars 👍 👎
• Attribute grammars and automatic complexity analysis 👍 👎
• Title not available (Why is that?) 👍 👎
• Attributed tree grammars 👍 👎

This page was built for publication: Unfolding Symbolic Attributed Graph Grammars

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