# Graph transformation and pointer structures

@inproceedings{Dodds2008GraphTA, title={Graph transformation and pointer structures}, author={Mike Dodds}, year={2008} }

- Published 2008

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

#### Citations

##### Publications citing this paper.

SHOWING 1-7 OF 7 CITATIONS

## Efficient Graph Rewriting

VIEW 7 EXCERPTS

CITES METHODS & BACKGROUND

HIGHLY INFLUENCED

## Rooted Graph Programs

VIEW 4 EXCERPTS

CITES METHODS & BACKGROUND

HIGHLY INFLUENCED

## Locality in Reasoning about Graph Transformations

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 73 REFERENCES

## Graph Abstraction and Abstract Graph Transformation

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis

VIEW 10 EXCERPTS

HIGHLY INFLUENTIAL

## Checking the Shape Safety of Pointer Manipulations

VIEW 8 EXCERPTS

HIGHLY INFLUENTIAL

## Specifying Pointer Structures by Graph Reduction

VIEW 10 EXCERPTS

HIGHLY INFLUENTIAL

## Relabelling in Graph Transformation

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## Separation Logic: A Logic for Shared Mutable Data Structures

VIEW 8 EXCERPTS

HIGHLY INFLUENTIAL

## Reduction Algorithms for Graphs of Small Treewidth

VIEW 10 EXCERPTS

HIGHLY INFLUENTIAL

## Hyperedge Replacement, Graph Grammars

VIEW 9 EXCERPTS

HIGHLY INFLUENTIAL

## Shape Types

VIEW 4 EXCERPTS

HIGHLY INFLUENTIAL

## The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic

VIEW 5 EXCERPTS

HIGHLY INFLUENTIAL

#### Similar Papers

Loading similar papers…