The following pages link to GrGen (Q13147):
Displaying 16 items.
- Contextual hyperedge replacement (Q493120) (← links)
- Hybrid search plan generation for generalized graph pattern matching (Q780064) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- Graph transformation for incremental natural language analysis (Q2441777) (← links)
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions (Q2683030) (← links)
- Polar: A Framework for Proof Refactoring (Q2870173) (← links)
- Hoare-style verification of graph programs (Q2898467) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (Q3540414) (← links)
- Graph-Based Tools: The Contest (Q3540421) (← links)
- The Graph Programming Language GP (Q3642526) (← links)
- Principled Software Development (Q4558903) (← links)
- A Strategy Language for Graph Rewriting (Q4909323) (← links)
- A Hoare Calculus for Graph Programs (Q4931309) (← links)
- Preserving consistency in geometric modeling with graph transformations (Q5059141) (← links)