README
A Specman/e package that provides a memoization utility for methods. Given a pure method definition, e.g. foo(a: uint): int { ... } you can memoize it at the place of its definition by MEMOIZE foo(a: uint): int { ... } See also examples/test_memoize.e. You can also run demo.sh (might need adjustment to work with your Specman installation).