General Algorithm for Memoization