Graph transformation and pointer structures

  title={Graph transformation and pointer structures},
  author={Mike Dodds},
This thesis is concerned with the use of graph-transformation rules to specify and manipulate pointer structures. In it, we show that graph transformation can form the basis of a practical and well-formalised approach to specifying pointer properties. We also show that graph transformation rules can be used as an efficient mechanism for checking the properties of graphs. We make context-sensitive graph transformation rules more practical for specifying structures, by improving their worst-case… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…