GP 2

The Graph Programming Language

Publications on Graph Programs and GP 2

Graph Programs and the Language GP 2


Verification of Graph Programs


Checking Graph Programs for Confluence


Probabilistic GP 2


Case Studies in Graph Programming