GrGen
From MaRDI portal
swMATH387MaRDI QIDQ13147FDOQ13147
Author name not available (Why is that?)
Official website: http://www.info.uni-karlsruhe.de/software.php/id=7
Cited In (35)
- 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
- Fujaba
- Graph transformation benchmarks
- AGG
- JSXGraph
- PORGY
- LMNtal
- VPM
- CheckVML
- GROOVE
- Jerboa
- Henshin
- DiaGen
- GXL
- The Graph Programming Language GP
- GReAT
- AGREE
- eMoflon
- EMorF
- Verigraph
- GP 2
- 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
