Sciweavers

Share
TAGT
1994
Springer
185views Graph Theory» more  TAGT 1994»
13 years 1 months ago
Concatenation of Graphs
An operation of concatenation is introduced for graphs. Then strings are viewed as expressions denoting graphs, and string languages are interpreted as graph languages. For a clas...
Joost Engelfriet, Jan Joris Vereijken
AGTIVE
2003
Springer
13 years 2 months ago
Specifying Pointer Structures by Graph Reduction
Graph-reduction speciļ¬cations (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
Adam Bakewell, Detlef Plump, Colin Runciman
books