GrGen
From MaRDI portal
Software:13147
swMATH387MaRDI QIDQ13147FDOQ13147
Author name not available (Why is that?)
Cited In (16)
- 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
- Rewriting strategies and strategic rewrite programs
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- A Hoare calculus for graph programs
- \textsc{Polar}: a framework for proof refactoring
- Hoare-style verification of graph programs
- The Graph Programming Language GP
- Hybrid search plan generation for generalized graph pattern matching
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- Contextual hyperedge replacement
- A strategy language for graph rewriting
- The Verigraph system for graph transformation
This page was built for software: GrGen
