GP 2

MaRDI QIDQ52031swMATHFDO

Official website https://uoycs-plasma.github.io/GP2/

Source code repository https://github.com/UoYCS-plasma/GP2

Cited in

(28)

• GrGen
• ELAN
• PROGRES
• Fujaba
• AGG
• Stony Brook
• PORGY
• LMNtal
• Confluence up to garbage in graph transformation
• Verifying graph programs with monadic second-order logic
• GROOVE
• Tom
• Jerboa
• Henshin
• DiaGen
• Labelled port graph -- a formal structure for models and computations
• visone
• Labelled graph strategic rewriting for social networks
• Graph transformation for incremental natural language analysis
• Labelled graph rewriting meets social networks
• Rewriting strategies and strategic rewrite programs
• The Graph Programming Language GP
• MOSBIE
• Reasoning about graph programs
• 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
• Towards critical pair analysis for the graph programming language GP 2

This page was built for software: GP 2