|
Termgraphersetzung ist ein der Termersetzung ähnliches Verfahren zur Auswertung
von Ausdrücken.
Auszuwertende Terme werden hierbei als Graphen dargestellt. Motivation ist ein möglicher Effizienzgewinn der dadurch entsteht, dass mehrfach benötigte Teile eines Ausdrucks in einem Graphen nur einmal dargestell t und ausgewertet werden müssen, während sie bei der einfachen Termersetzung (ohne Call-by-need oder ähnliche Mechanismen) mehrfach gespeichert und immer wieder ausgewertet werden müssten.
Literatur
|
|