Re: Reuse of computations

citron@CS.HUJI.AC.IL (Daniel Citron) writes:
> I'm interested in papers that refer to the reuse of previously executed
> computations. I think the term is memoing or memoizing. Are there any
> practical implementations of this concept (in software or hardware)?


See the constant-integer multiplication thread for one instance
of this.


I also recall (don't know it was ever published) that someone once
wrote a "memoizing functional" in Russell -- in theory, a sick person
might be able to do this in C++ with a template (I am sorely tempted
to try).


John Hughes also wrote about Lazy Memo Functions in a long-past (1985?)
proceedings of the conference on Functional Programming Languages and
Computer Architectures (Springer Verlag). I was very impressed by it, but I
don't know if it went anywhere after that. It was massively cool --
lazy memoization subsumes and generalizes Turner's reduction trick for
the Y combinator.


David Chase
--

Return to the comp.compilers page.
Search the comp.compilers archives again.