swMATH36329MaRDI QIDQ52031FDOQ52031
Author name not available (Why is that?)
Official website: https://uoycs-plasma.github.io/GP2/
Source code repository: https://github.com/UoYCS-plasma/GP2
Cited In (26)
- Graph transformation for incremental natural language analysis
- Towards critical pair analysis for the graph programming language GP 2
- Rewriting strategies and strategic rewrite programs
- Labelled graph strategic rewriting for social networks
- Labelled graph rewriting meets social networks
- Title not available (Why is that?)
- GrGen
- Fujaba
- AGG
- Stony Brook
- PORGY
- LMNtal
- Title not available (Why is that?)
- GROOVE
- Jerboa
- Henshin
- DiaGen
- Tom
- Confluence up to garbage
- visone
- Confluence up to garbage in graph transformation
- The Graph Programming Language GP
- MOSBIE
- Reasoning about graph programs
- Labelled port graph -- a formal structure for models and computations
- Verifying graph programs with monadic second-order logic
This page was built for software: GP 2
