GrGen
From MaRDI portal
Software:13147
No author found.
Related Items (16)
Hoare-Style Verification of Graph Programs ⋮ Preserving consistency in geometric modeling with graph transformations ⋮ Principled Software Development ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions ⋮ The Verigraph system for graph transformation ⋮ Graph transformation for incremental natural language analysis ⋮ A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation ⋮ Graph-Based Tools: The Contest ⋮ Contextual hyperedge replacement ⋮ A Strategy Language for Graph Rewriting ⋮ A Hoare Calculus for Graph Programs ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ The Graph Programming Language GP ⋮ Hybrid search plan generation for generalized graph pattern matching ⋮ Polar: A Framework for Proof Refactoring
This page was built for software: GrGen
