GrGen
From MaRDI portal
Cited in
(37)- PROGRES
- VIATRA2
- Graph transformation benchmarks
- Fujaba
- AGG
- The Verigraph system for graph transformation
- JSXGraph
- PORGY
- LMNtal
- VPM
- CheckVML
- GROOVE
- Jerboa
- Henshin
- DiaGen
- Graph transformation for incremental natural language analysis
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- GXL
- \textsc{Polar}: a framework for proof refactoring
- Hoare-style verification of graph programs
- Rewriting strategies and strategic rewrite programs
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- GReAT
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- Graph-Based Tools: The Contest
- Verigraph
- eMoflon
- AGREE
- EMorF
- The Graph Programming Language GP
- 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 strategy language for graph rewriting
- Contextual hyperedge replacement
- A Hoare calculus for graph programs
- Preserving consistency in geometric modeling with graph transformations
- GP 2
- Hybrid search plan generation for generalized graph pattern matching
This page was built for software: GrGen
