Memoization for Term (Hypergraph) Rewriting
Download:
|
|
by Berthold Hoffmann
http://www.informatik.uni-bremen.de/~hof/research/publications/papers/Williamsburgh:94.ps.gz
Add To MetaCart
Abstract:
Memoization is an optimization technique for implementing functional programming languages: The result of a function application is stored in a table, in order to be
Citations
| 145 | Introduction to the algebraic theory of graph grammar – Ehrig - 1979 |
| 7 | Term Rewriting in CT \Sigma – Corradini - 1993 |
| 4 | Term Rewriting with Sharing and Memoization – Hoffmann - 1992 |
