GP 2
From MaRDI portal
Software:52031
swMATH36329MaRDI QIDQ52031FDOQ52031
Author name not available (Why is that?)
Source code repository: https://github.com/UoYCS-plasma/GP2
Cited In (13)
- 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?)
- Title not available (Why is that?)
- Confluence up to garbage
- Confluence up to garbage in graph transformation
- The Graph Programming Language GP
- 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
