Graph rewriting

Techniques for algorithmically creating a new graph from an existing graph

pattern matching language