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.
Nearby terms:
Graph-Oriented Object Database « graph plotter «
graph reduction « graph rewriting system »
GRAPPLE » GRAS » GRASP/Ada
|