VDict - Definition of graph rewriting system

Computing (FOLDOC) dictionary

graph rewriting system

Jump to user comments

An extension of a term rewriting system which uses graphreduction on terms represented by directed graphs to avoid

duplication of work by sharing expressions.

Related search result for "graph rewriting system"

Words contain "graph rewriting system":
graph rewriting system PROgrammed Graph REwriting Systems
Words contain "graph rewriting system" in its definition in Computing (FOLDOC) dictionary:
graph rewriting system Lean PROgrammed Graph REwriting Systems DACTL FGL Moore graph Clean PROGRES graph MONSTR more...

Comments and discussion on the word "graph rewriting system"