Lazy graph transformation

DOI10.3233/FI-2012-706MaRDI QIDQ2898464zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Delaying Constraint Solving in Symbolic Graph Transformation
• Attributed Graph Constraints
• A tutorial on graph transformation
• Symbolic graphs for attributed graph constraints
• The PBPO graph transformation approach

Cited in

(10)

• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Compositional analysis of probabilistic timed graph transformation systems
• Attribute handling for generating preconditions from graph constraints
• Attributed Graph Constraints
• 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
• Lazy constraint imposing for improving the path constraint
• Abstract constraint data types
• Compositional analysis of probabilistic timed graph transformation systems

This page was built for publication: Lazy graph transformation

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