Graph Transformation
From The Programming Languages and Systems Research Group
Graph transformation combines the strength of graphs in visualisation with a rule-based way of computing. We have several areas of current research:
- GP is a rule-based graph programming language which is based on a complete and minimal core language.
- Safe Pointers by Graph Transformation is a project to develop techniques for statically checking the shape-properties of pointer structures.
- Term Graph Rewriting improves conventional term rewriting by sharing common subexpressions.
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.