Graph Transformation

From The Programming Languages and Systems Research Group
Jump to: navigation, search

Graph transformation combines the strength of graphs in visualisation with a rule-based way of computing. We have several areas of current research:

Contact Detlef Plump for more information.


Christopher M. Poskitt. Verification of Graph Programs. PhD thesis, University of York, 2013.

Mike Dodds. Graph Transformation and Pointer Structures (.pdf). PhD thesis, University of York, 2008.

Sandra Steinert. The Graph Programming Language GP (.pdf). PhD thesis, University of York, 2007.

Prospective Research Students

Please refer to our prospective research students page for possible research topics in graph transformation, as well as other areas of the group's interests. Please contact Detlef Plump if you would like further information.

Further Information