GP 2
From MaRDI portal
Cited in
(28)- 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
- GrGen
- ELAN
- PROGRES
- Fujaba
- AGG
- Stony Brook
- PORGY
- LMNtal
- GROOVE
- Jerboa
- Henshin
- DiaGen
- Tom
- visone
- MOSBIE
- scientific article; zbMATH DE number 7456056 (Why is no real title available?)
- scientific article; zbMATH DE number 7456057 (Why is no real title available?)
- 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
