Encyclopedia

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)

Mentioned in

PROgrammed Graph REwriting Systems
PROGRES

References in periodicals archive

A fourth extension of needed narrowing deals with graph rewriting systems [Echahed and Janodet 1998].

A Needed Narrowing Strategy

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.