The GP Programming System

Greg Manning, Detlef Plump

Abstract


We describe the programming system for the graph-transformation language GP, focusing on the implementation of its compiler and abstract machine. We also compare the system's performance with other graph-transformation systems. The GP language is based on conditional rule schemata and comes with a simple formal semantics which maps input graphs to sets of output graphs. The implementation faithfully matches the semantics by using backtracking and allowing to compute all possible results for a given input.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.10.150

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.10.150.152

Hosted By Universit├Ątsbibliothek TU Berlin.