Graph Transformation

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.

Theses

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


This page was last modified on 25 November 2013, at 16:31. This page has been accessed 18,667 times.

  
Powered by MediaWiki