Lazy Graph Transformation

DOI10.3233/FI-2012-706zbMath1242.68139OpenAlexW1509591648MaRDI QIDQ2898464

Fernando Orejas, Leen Lambers

Publication date: 11 July 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-706

zbMATH Keywords

attributed graph transformationlazy transformationsymbolic graph transformation

Mathematics Subject Classification ID

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

Related Items (6)

Unfolding Symbolic Attributed Graph Grammars ⋮ Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Compositional analysis of probabilistic timed graph transformation systems ⋮ Abstract Constraint Data Types

This page was built for publication: Lazy Graph Transformation