graph rewriting system

graph rewriting system

An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
A fourth extension of needed narrowing deals with graph rewriting systems [Echahed and Janodet 1998].