Delaying Constraint Solving in Symbolic Graph Transformation

DOI10.1007/978-3-642-15928-2_4zbMath1306.68084OpenAlexW1933425755MaRDI QIDQ4931303

Fernando Orejas, Leen Lambers

Publication date: 4 October 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_4

zbMATH Keywords

attributed graph transformationlazy transformationsymbolic graph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (10)

Theorem proving graph grammars with attributes and negative application conditions ⋮ 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 ⋮ Unification of drags and confluence of drag rewriting ⋮ Symbolic graphs for attributed graph constraints ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rule Algebras for Adhesive Categories ⋮ Rule-based transformation of graph rewriting rules: towards higher-order graph grammars

This page was built for publication: Delaying Constraint Solving in Symbolic Graph Transformation