GrGen
From MaRDI portal
Software:13147
swMATH387MaRDI QIDQ13147FDOQ13147
Author name not available (Why is that?)
Cited In (16)
- A Hoare Calculus for Graph Programs
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Graph transformation for incremental natural language analysis
- Preserving consistency in geometric modeling with graph transformations
- Graph-Based Tools: The Contest
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- Hoare-style verification of graph programs
- Rewriting Strategies and Strategic Rewrite Programs
- A Strategy Language for Graph Rewriting
- The Graph Programming Language GP
- Polar: A Framework for Proof Refactoring
- Hybrid search plan generation for generalized graph pattern matching
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- Principled Software Development
- Contextual hyperedge replacement
- The Verigraph system for graph transformation
This page was built for software: GrGen
